www.prismmodelchecker.org
[RSLG13] Mikołaj Rybiński, Zuzanna Szymańska, Sławomir Lasota and Anna Gambin. Modelling the efficacy of hyperthermia treatment. J. R. Soc. Interface, 10(88). 2013. [Analyses models of the effectiveness of hyperthermia in the context of a heat-shock response mechanism, using ODEs and PRISM.]
Links: [Google] [Google Scholar]

Publications