www.prismmodelchecker.org
[Bai98] C. Baier. On Algorithmic Verification Methods for Probabilistic Systems. Habilitation thesis, Fakult"at f"ur Mathematik & Informatik, Universit"at Mannheim. 1998. [bib]
Downloads:  bib bib
Links: [Google] [Google Scholar]

Publications