The following publications are possibly variants of this publication:
- Model Checking Infinite-State Markov ChainsAnne Remke, Boudewijn R. Haverkort, Lucia Cloth. TACAS 2005: 237-252 [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]
- Model Checking Action- and State-Labelled Markov ChainsChristel Baier, Lucia Cloth, Boudewijn R. Haverkort, Matthias Kuntz, Markus Siegle. dsn 2004: 701-710 [doi]
- Model Checking Markov Chains with Actions and State LabelsChristel Baier, Lucia Cloth, Boudewijn R. Haverkort, Matthias Kuntz, Markus Siegle. TSE, 33(4):209-224, 2007. [doi]
- CSL model checking algorithms for QBDsAnne Remke, Boudewijn R. Haverkort, Lucia Cloth. TCS, 382(1):24-41, 2007. [doi]
- Distributed disk-based algorithms for model checking very large Markov chainsAlexander Bell, Boudewijn R. Haverkort. fmsd, 29(2):177-196, 2006. [doi]