TITLE     : Smoothed model checking for uncertain Continuous-Time Markov Chains
AUTHOR(S) : Bortolussi L, Milios D, Sanguinetti G
TYPE      : Journal article
YEAR      : 2016
CODE      : 424388

*** DO NOT EDIT THIS FILE ***