www.prismmodelchecker.org
[BL00] N. Barkai and S. Leibler. Biological rhythms: Circadian clocks limited by noise. Nature, 403, pages 267-268. 2000. [bib] http://www.nature.com/nature/journal/v403/n6767/full/403267b0.html
Downloads:  bib bib
Links: [Google] [Google Scholar]

Publications