www.prismmodelchecker.org
[Sch08] O. Schaeffer. On the use of process algebra techniques in computational modelling of cancer initiation and development. Ph.D. thesis, University of Birmingham. February 2008. [pdf] [bib] [Thesis developing computational models of the FGF and Wnt pathways, including the use of PRISM.]
Downloads:  pdf pdf (1.41 MB)  bib bib
Links: [Google] [Google Scholar]

Publications