@article{f12b0869449f447a85866bef45db7dbf,
title = "Advances in probabilistic model checking with PRISM: variable reordering, quantiles and weak deterministic B{\"u}chi automata",
author = "Joachim Klein and Christel Baier and Philipp Chrszon and Marcus Daum and Clemens Dubslaff and Sascha Kl{\"u}ppelholz and Steffen M{\"a}rcker and David M{\"u}ller",
year = "2018",
doi = "10.1007/s10009-017-0456-3",
language = "English",
volume = "20",
pages = "179--194",
journal = "International Journal on Software Tools for Technology Transfer",
issn = "1433-2779",
publisher = "Springer",
number = "2",
}