www.prismmodelchecker.org
[CVGO06] M. Calder, V. Vyshemirsky, D. Gilbert and R. Orton. Analysis of signalling pathways using continuous time Markov chains. Transactions on Computational Systems Biology VI, 4220, pages 44-67, Springer. 2006. [bib] http://www.dcs.gla.ac.uk/~muffy/papers.html
Downloads:  bib bib
Notes: The original publication is available at www.springerlink.com.

Publications