www.prismmodelchecker.org
[BGRC+07] F. Bernardini, M. Gheorghe, F. Romero-Campero and N. Walkinshaw. A Hybrid Approach to Modelling Biological Systems. In Proc. 8th Workshop on Membrane Computing, volume 4860 of Lecture Notes in Computer Science, Springer. 2007. [bib] http://www.dcs.shef.ac.uk/~nw/Publications.html
Downloads:  bib bib
Notes: The original publication is available at www.springerlink.com.

Publications