The following publications are possibly variants of this publication:
- Time-bounded model checking of infinite-state continuous-time Markov chainsLijun Zhang, Holger Hermanns, Ernst Moritz Hahn, Björn Wachter. acsd 2008: 98-107 [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]
- Approximate Symbolic Model Checking of Continuous-Time Markov ChainsChristel Baier, Joost-Pieter Katoen, Holger Hermanns. concur 1999: 146-161 [doi]
- Model Checking Continuous-Time Markov Chains by Transient AnalysisChristel Baier, Boudewijn R. Haverkort, Holger Hermanns, Joost-Pieter Katoen. cav 2000: 358-372