www.prismmodelchecker.org
[BCM+04] R. Barbuti, S. Cataudella, A. Maggiolo-Schettini, P. Milazzo and A. Troina. A Probabilistic Calculus for Molecular Systems. In Proc. Concurrency Specification and Programming (CS&P'04). 2004. [bib] http://www.di.unipi.it/~milazzo/
Downloads:  bib bib
Links: [Google] [Google Scholar]

Publications