The following publications are possibly variants of this publication:
- Performability assessment by model checking of Markov reward modelsChristel Baier, Lucia Cloth, Boudewijn R. Haverkort, Holger Hermanns, Joost-Pieter Katoen. fmsd, 36(1):1-36, 2010. [doi]
- A tool for model-checking Markov chainsHolger Hermanns, Joost-Pieter Katoen, Joachim Meyer-Kayser, Markus Siegle. STTT, 4(2):153-172, 2003. [doi]
- A Markov Reward Model CheckerJoost-Pieter Katoen, Maneesh Khattri, Ivan S. Zapreev. qest 2005: 243-244 [doi]
- Model Checking Infinite-State Markov ChainsAnne Remke, Boudewijn R. Haverkort, Lucia Cloth. TACAS 2005: 237-252 [doi]
- LTL Model Checking of Time-Inhomogeneous Markov ChainsTaolue Chen, Tingting Han, Joost-Pieter Katoen, Alexandru Mereacre. ATVA 2009: 104-119 [doi]