Simulation-based CTMC model checking: An empirical evaluation

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. (2009). Simulation-based CTMC model checking: An empirical evaluation. Proceedings of The International Conference on Quantitative Evaluation of SysTems 2009, 31–40.

Additional Files
Publisher Version

See Also
inProceedings The ins and outs of the probabilistic model checker MRMC J.P. Katoen, I.S. Zapreev (Ivan), E.M. Hahn, H. Hermanns (Holger) and D.N. Jansen (David)
inProceedings The ins and outs of the probabilistic model checker MRMC J.P. Katoen, I.S. Zapreev (Ivan), E.M. Hahn, H. Hermanns (Holger) and D.N. Jansen (David)

Publication