www.prismmodelchecker.org
[BKH99] C. Baier, J.-P. Katoen and H. Hermanns . Approximate Symbolic Model Checking of Continuous-Time Markov Chains. In J. Baeten and S. Mauw (editors), Proc. 10th International Conference on Concurrency Theory (CONCUR'99), volume 1664 of LNCS, pages 146-161, Springer. 1999. [bib]
Downloads:  bib bib
Notes: The original publication is available at www.springerlink.com.

Publications