%0 Conference Paper %1 conf/cav/GuetGHMS12 %A Guet, Calin C. %A Gupta, Ashutosh %A Henzinger, Thomas A. %A Mateescu, Maria %A Sezgin, Ali %B CAV %D 2012 %E Madhusudan, P. %E Seshia, Sanjit A. %I Springer %K dblp %P 294-309 %T Delayed Continuous-Time Markov Chains for Genetic Regulatory Circuits. %U http://dblp.uni-trier.de/db/conf/cav/cav2012.html#GuetGHMS12 %V 7358 %@ 978-3-642-31423-0

@inproceedings{conf/cav/GuetGHMS12, added-at = {2019-08-26T00:00:00.000+0200}, author = {Guet, Calin C. and Gupta, Ashutosh and Henzinger, Thomas A. and Mateescu, Maria and Sezgin, Ali}, biburl = {https://www.bibsonomy.org/bibtex/2f3772c9f9f1c33a52dae0519706ca749/dblp}, booktitle = {CAV}, crossref = {conf/cav/2012}, editor = {Madhusudan, P. and Seshia, Sanjit A.}, ee = {https://doi.org/10.1007/978-3-642-31424-7_24}, interhash = {a8fae776e60b17075c95060d5cc90733}, intrahash = {f3772c9f9f1c33a52dae0519706ca749}, isbn = {978-3-642-31423-0}, keywords = {dblp}, pages = {294-309}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2019-08-27T11:39:02.000+0200}, title = {Delayed Continuous-Time Markov Chains for Genetic Regulatory Circuits.}, url = {http://dblp.uni-trier.de/db/conf/cav/cav2012.html#GuetGHMS12}, volume = 7358, year = 2012 }