www.prismmodelchecker.org
[Tri07] M. Tribastone. The PEPA Plug-in Project. In Proc. 4th International Conference on Quantitative Evaluation of Systems (QEST'07), pages 53-54, IEEE Computer Society. 2007. [bib]
Downloads:  bib bib
Links: [Google] [Google Scholar]

Publications