Joachim Klein 0001, Christel Baier, Philipp Chrszon, Marcus Daum, Clemens Dubslaff, Sascha Klüppelholz, Steffen Märcker, David Müller 0001. Advances in probabilistic model checking with PRISM: variable reordering, quantiles and weak deterministic Büchi automata. STTT, 20(2):179-194, 2018. [doi]
@article{KleinBCDDKMM18,
title = {Advances in probabilistic model checking with PRISM: variable reordering, quantiles and weak deterministic Büchi automata},
author = {Joachim Klein 0001 and Christel Baier and Philipp Chrszon and Marcus Daum and Clemens Dubslaff and Sascha Klüppelholz and Steffen Märcker and David Müller 0001},
year = {2018},
doi = {10.1007/s10009-017-0456-3},
url = {https://doi.org/10.1007/s10009-017-0456-3},
researchr = {https://researchr.org/publication/KleinBCDDKMM18},
cites = {0},
citedby = {0},
journal = {STTT},
volume = {20},
number = {2},
pages = {179-194},
}