I.: The ins and outs of the probabilistic model checker MRMC (2009)

by J P Katoen, E M Hahn, H Hermanns, D Jansen, Zapreev
Venue:In: Proc. 6th Int. Conf. Quantitative Evaluation of Systems (QEST’09