www.prismmodelchecker.org
[CGHV09] M. Calder, S. Gilmore, J. Hillston and V. Vyshemirsky. Formal methods for biochemical signalling pathways. In Formal Methods: State of the Art and New Directions, Springer. To appear. 2009. [bib]
Downloads:  bib bib
Notes: The original publication is available at www.springerlink.com.

Publications