The Ins and Outs of the Probabilistic Model Checker MRMC. (2009)

by Joost-Pieter Kaoten, Ivan S Zapreev, Ernst Moritz Hahn, Holger Hermanns, David N Jansen
Venue:In Quantitative Evaluation of Systems (QEST),