www.prismmodelchecker.org
[HHM95] Holger Hermanns, Ulrich Herzog and Vassilis Merksiotakis. Stochastic Process Algebras as a Tool for Performance and Dependability Modelling. In Proc. International Computer Performance and Dependability Symposium (IPDS'95), pages 102-111. 1995. [bib]
Downloads:  bib bib
Links: [Google] [Google Scholar]

Publications