Details for the publication KatoenZHHJ09.

Joost-Pieter Katoen (), Ivan S. Zapreev, Ernst Moritz Hahn (), Holger Hermanns (), David N. Jansen (): The Ins and Outs of the Probabilistic Model Checker MRMC. In QEST 2009, Sixth International Conference on the Quantitative Evaluation of Systems, Budapest, Hungary, 13-16 September 2009, pages 167-176, 2009. DOI BIB