Title
Stochastic Model Checking of Genetic Circuits
Document Type
Article
Journal/Book Title/Conference
ACM Journal on Emerging Technologies in Computing Systems (JETC) - Special Issue on Computational Synthetic Biology and Regular Papers
Volume
11
Publisher
ACM
Publication Date
12-1-2014
Abstract
Synthetic genetic circuits have a number of exciting potential applications such as cleaning up toxic waste, hunting and killing tumor cells, and producing drugs and bio-fuels more efficiently. When designing and analyzing genetic circuits, researchers ar
Recommended Citation
C. Madsen, Z. Zhang , N. Roehner, C. Winstead, and C. J. Myers, “Stochastic Model Checking of Genetic Circuits”, ACM Journal on Emerging Technologies in Computing Systems (JETC) , 12/2014; 11(3):1-21. DOI:10.1145/2644817