www.prismmodelchecker.org
[SL95] R. Segala and N. Lynch. Probabilistic Simulations for Probabilistic Processes. Nordic Journal of Computing, 2(2), pages 250-273. 1995. [bib]
Downloads:  bib bib
Links: [Google] [Google Scholar]

Publications