The following publications are possibly variants of this publication:
- Quantitative Model Checking of Continuous-Time Markov Chains Against Timed Automata SpecificationsTaolue Chen, Tingting Han, Joost-Pieter Katoen, Alexandru Mereacre. lics 2009: 309-318 [doi]
- LTL Model Checking of Time-Inhomogeneous Markov ChainsTaolue Chen, Tingting Han, Joost-Pieter Katoen, Alexandru Mereacre. ATVA 2009: 104-119 [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]