www.prismmodelchecker.org
[MWDH10] M. Mateescu, V. Wolf, F. Didier and T. Henzinger. Fast adaptive uniformisation of the chemical master equation. IET Syst Biol, 4(6), pages 441–452. 2010. [bib]
Downloads:  bib bib

Publications