Stochastic Model Checking of Genetic Circuits

Curtis Madsen, Zhen Zhang, Nicholas Roehner, Chris Winstead, Chris J. Myers. Stochastic Model Checking of Genetic Circuits. JETC, 11(3):23, 2014. [doi]

Abstract

Abstract is missing.