www.prismmodelchecker.org
[HM94] Ulrich Herzog and Vassilis Merksiotakis. Stochastic Process Algebras Applied to Failure Modelling. In Proc. 2nd Workshop onProcess Algebras and Performance Modelling (PAPM'94), pages 107-126. 1994. [bib]
Downloads:  bib bib
Links: [Google] [Google Scholar]

Publications