The following publications are possibly variants of this publication:
- A tool for model-checking Markov chainsHolger Hermanns, Joost-Pieter Katoen, Joachim Meyer-Kayser, Markus Siegle. STTT, 4(2):153-172, 2003. [doi]
- LTL Model Checking of Time-Inhomogeneous Markov ChainsTaolue Chen, Tingting Han, Joost-Pieter Katoen, Alexandru Mereacre. ATVA 2009: 104-119 [doi]
- Model-checking large structured Markov chainsPeter Buchholz, Joost-Pieter Katoen, Peter Kemper, Carsten Tepper. jlp, 56(1-2):69-97, 2003. [doi]
- ETMCC: Model Checking Performability Properties of Markov ChainsHolger Hermanns, Joost-Pieter Katoen, Joachim Meyer-Kayser, Markus Siegle. dsn 2003: 673 [doi]
- Model-Checking Algorithms for Continuous-Time Markov ChainsChristel Baier, Boudewijn R. Haverkort, Holger Hermanns, Joost-Pieter Katoen. TSE, 29(6):524-541, 2003. [doi]