www.prismmodelchecker.org
[LPA+12] Pietro Liò, Nicola Paoletti, Mohammad Ali Moni, Kathryn Atwell, Emanuela Merelli and Marco Viceconti. Modelling osteomyelitis. BMC Bioinformatics, 13(Suppl 14)(S12). 2012. [Describes computational modelling of the bone pathology osteomyelitis, part of which is analysed using PRISM.]
Links: [Google] [Google Scholar]

Publications