%0 Journal Article %1 journals/jetc/MadsenZRWM14 %A Madsen, Curtis %A Zhang, Zhen %A Roehner, Nicholas %A Winstead, Chris %A Myers, Chris J. %D 2014 %J JETC %K dblp %N 3 %P 23:1-23:21 %T Stochastic Model Checking of Genetic Circuits. %U http://dblp.uni-trier.de/db/journals/jetc/jetc11.html#MadsenZRWM14 %V 11

@article{journals/jetc/MadsenZRWM14, added-at = {2019-06-02T00:00:00.000+0200}, author = {Madsen, Curtis and Zhang, Zhen and Roehner, Nicholas and Winstead, Chris and Myers, Chris J.}, biburl = {https://puma.ub.uni-stuttgart.de/bibtex/25f95a7f27c78e0dd71cb9fc830c07cb0/dblp}, ee = {https://www.wikidata.org/entity/Q59859490}, interhash = {4ba6f81015c00359fd2e9c90b2bc6660}, intrahash = {5f95a7f27c78e0dd71cb9fc830c07cb0}, journal = {JETC}, keywords = {dblp}, number = 3, pages = {23:1-23:21}, timestamp = {2019-09-27T08:51:45.000+0200}, title = {Stochastic Model Checking of Genetic Circuits.}, url = {http://dblp.uni-trier.de/db/journals/jetc/jetc11.html#MadsenZRWM14}, volume = 11, year = 2014 }