Details for the publication KatoenZHHJ11.

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 Perform. Evaluation 68(2):90-104, 2011. DOI BIB