www.prismmodelchecker.org
[CB06] D. Chu and I. Blomfield. Orientational control is an efficient control mechanism for phase switching in the E.coli fim system. Journal of Theoretical Biology, Elsevier. To appear. 2006. [bib] http://www.cs.kent.ac.uk/people/staff/dfc/site/
Downloads:  bib bib
Links: [Google] [Google Scholar]

Publications