Advances in probabilistic model checking with PRISM: variable reordering, quantiles and weak deterministic Büchi automata
Crossref DOI link: https://doi.org/10.1007/s10009-017-0456-3
Published Online: 2017-05-06
Published Print: 2018-04
Update policy: https://doi.org/10.1007/springer_crossmark_policy
Klein, Joachim
Baier, Christel
Chrszon, Philipp
Daum, Marcus
Dubslaff, Clemens
Klüppelholz, Sascha
Märcker, Steffen
Müller, David
License valid from 2017-05-06