www.prismmodelchecker.org
[Ste94] W. J. Stewart. Introduction to the Numerical Solution of Markov Chains. Princeton. 1994. [bib]
Downloads:  bib bib
Links: [Google] [Google Scholar]

Publications