www.prismmodelchecker.org
[Vys07] V. Vyshemirsky. Probabilistic Reasoning and Inference for Systems Biology. Ph.D. thesis, University of Glasgow. July 2007. [bib] http://www.dcs.gla.ac.uk/~vvv/
Downloads:  bib bib
Links: [Google] [Google Scholar]

Publications