The ins and outs of the probabilistic model checker MRMC

2009

Presented at the International Conference on Quantitative Evaluation of SysTems, Budapest, Hungary

Additional Metadata
THEME	Life Sciences (theme 5), Energy (theme 4)
Publisher	IEEE C.S.
Conference	International Conference on Quantitative Evaluation of SysTems
Organisation	Scientific Computing
Citation APA APA Style APA-ALL Style AAA Style Cell Style Chicago Style Harvard Style IEEE Style MLA Style Nature Style Vancouver Style American-Institute-of-Physics Style Council-of-Science-Editors Style BibTex Format Endnote Format RIS Format CSL Format DOIs only Format	Katoen, J. P., Zapreev, I., Hahn, E. M., Hermanns, H.& Jansen, D. (2009). The ins and outs of the probabilistic model checker MRMC. Proceedings of The International Conference on Quantitative Evaluation of SysTems 2009, 167–176.

Additional Files
Publisher Version

See Also
inProceedings Simulation-based CTMC model checking: An empirical evaluation J.P. Katoen and I.S. Zapreev (Ivan)
inProceedings Simulation-based CTMC model checking: An empirical evaluation J.P. Katoen and I.S. Zapreev (Ivan)

Publication