{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,10,23]],"date-time":"2024-10-23T05:53:34Z","timestamp":1729662814587,"version":"3.28.0"},"reference-count":18,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2013,12]]},"DOI":"10.1109\/cdc.2013.6760513","type":"proceedings-article","created":{"date-parts":[[2014,3,13]],"date-time":"2014-03-13T22:14:07Z","timestamp":1394748847000},"page":"4074-4079","source":"Crossref","is-referenced-by-count":0,"title":["Data-driven verification of synthetic gene networks"],"prefix":"10.1109","author":[{"given":"Ebru","family":"Aydin Gol","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Douglas","family":"Densmore","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Calin","family":"Belta","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"key":"17","doi-asserted-by":"publisher","DOI":"10.1385\/1-59259-890-0:571"},{"key":"18","doi-asserted-by":"publisher","DOI":"10.1002\/(SICI)1097-0320(19981001)33:2<260::AID-CYTO23>3.0.CO;2-R"},{"key":"15","doi-asserted-by":"crossref","first-page":"243","DOI":"10.1145\/1755952.1755987","article-title":"Bayesian statistical model checking with application to Simulink\/Stateflow verification","author":"zuliani","year":"2010","journal-title":"HSCC"},{"key":"16","article-title":"BioNumbers-the database of key numbers in molecular and cell biology","volume":"38","year":"2010","journal-title":"Nucleic Acids Research"},{"key":"13","doi-asserted-by":"publisher","DOI":"10.3166\/ejc.16.624-641"},{"key":"14","first-page":"81","article-title":"Probabilistic plan verification through acceptance sampling","author":"younes","year":"2002","journal-title":"AIPS Workshop on Planning Via Model Checking"},{"key":"11","doi-asserted-by":"publisher","DOI":"10.1109\/MEMCOD.2004.1459815"},{"key":"12","first-page":"585","article-title":"PRISM 4.0: Verification of probabilistic real-time systems","volume":"6806","author":"kwiatkowska","year":"2011","journal-title":"Proc 23rd International Conference on Computer Aided Verification (CAV'11)"},{"key":"3","doi-asserted-by":"publisher","DOI":"10.1038\/nature06450"},{"key":"2","doi-asserted-by":"publisher","DOI":"10.1038\/nchembio.378"},{"key":"1","doi-asserted-by":"publisher","DOI":"10.1016\/j.jmb.2005.10.076"},{"key":"10","doi-asserted-by":"publisher","DOI":"10.1109\/DATE.2012.6176468"},{"key":"7","doi-asserted-by":"publisher","DOI":"10.1371\/journal.pone.0018882"},{"key":"6","doi-asserted-by":"crossref","DOI":"10.1016\/B978-0-12-385120-8.00005-X","article-title":"Developer's and user's guide to clotho v2.0 a software platform for the creation of synthetic biological systems","volume":"498","author":"xia","year":"2011","journal-title":"Methods Enzymol"},{"key":"5","doi-asserted-by":"publisher","DOI":"10.1038\/nature10722"},{"key":"4","doi-asserted-by":"publisher","DOI":"10.1159\/000219381"},{"key":"9","doi-asserted-by":"publisher","DOI":"10.1021\/sb300030d"},{"key":"8","doi-asserted-by":"publisher","DOI":"10.1371\/journal.pone.0022490"}],"event":{"name":"2013 IEEE 52nd Annual Conference on Decision and Control (CDC)","start":{"date-parts":[[2013,12,10]]},"location":"Firenze","end":{"date-parts":[[2013,12,13]]}},"container-title":["52nd IEEE Conference on Decision and Control"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/6749719\/6759837\/06760513.pdf?arnumber=6760513","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,6,22]],"date-time":"2017-06-22T09:35:26Z","timestamp":1498124126000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/6760513\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2013,12]]},"references-count":18,"URL":"https:\/\/doi.org\/10.1109\/cdc.2013.6760513","relation":{},"subject":[],"published":{"date-parts":[[2013,12]]}}}