TITLE     : On-the-fly probabilistic model checking. Extended version. QUANTICOL Technical Report nr. TR-QC-09-2014
AUTHOR(S) : Latella D, Loreti M, Massink M
TYPE      : Other
YEAR      : 2014
CODE      : 294507

*** DO NOT EDIT THIS FILE ***