www.prismmodelchecker.org
[CZZ21] Michael Cotner, Jixun Zhan and Zhen Zhang. A Computational Metabolic Model for Engineered Production of Resveratrol in Escherichia coli. ACS Synthetic Biology. 2021. [Proposes a probabilistic computational model for engineered production of Resveratrol in Escherichia coli, modelled in PRISM.]
Links: [Google] [Google Scholar]

Publications