www.prismmodelchecker.org
[ABS+07] A. Abate, Y. Bai, N. Sznajder, C. Talcott and A. Tiwari. Quantitative and Probabilistic Modeling in Pathway Logic. In Proc. 7th IEEE International Conference on Bioinformatics and Bioengineering (BIBE'07). 2007. [bib]
Downloads:  bib bib
Links: [Google] [Google Scholar]

Publications