The ins and outs of the probabilistic model checker MRMC

Joost P. Katoen, I.S. Zapreev, Ernst Moritz Hahn, H. Hermanns, D.N. Jansen

    Research output: Contribution to journalArticleAcademicpeer-review

    143 Citations (Scopus)

    Fingerprint Dive into the research topics of 'The ins and outs of the probabilistic model checker MRMC'. Together they form a unique fingerprint.

    Mathematics

    Engineering & Materials Science