www.prismmodelchecker.org
[BCM+05] R. Barbuti, S. Cataudella, A. Maggiolo-Schettini, P. Milazzo and A. Troina. A Probabilistic Model for Molecular Systems. Fundamenta Informaticae, 67(1-3), pages 13-27. July 2005. [bib] http://www.di.unipi.it/~milazzo/
Downloads:  bib bib
Links: [Google] [Google Scholar]

Publications