{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,4,1]],"date-time":"2026-04-01T14:38:41Z","timestamp":1775054321060,"version":"3.50.1"},"reference-count":61,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2016,10]]},"DOI":"10.1109\/hldvt.2016.7748273","type":"proceedings-article","created":{"date-parts":[[2016,11,21]],"date-time":"2016-11-21T21:23:51Z","timestamp":1479763431000},"page":"178-184","source":"Crossref","is-referenced-by-count":3,"title":["Formal modeling of biological systems"],"prefix":"10.1109","author":[{"given":"Qinsi","family":"Wang","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Edmund M.","family":"Clarke","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"key":"ref39","doi-asserted-by":"publisher","DOI":"10.1006\/excr.2000.5044"},{"key":"ref38","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-24743-2_28"},{"key":"ref33","doi-asserted-by":"publisher","DOI":"10.1186\/1471-2105-11-307"},{"key":"ref32","doi-asserted-by":"publisher","DOI":"10.1073\/pnas.95.12.6750"},{"key":"ref31","doi-asserted-by":"publisher","DOI":"10.1109\/CDC.2011.6161052"},{"key":"ref30","first-page":"245","article-title":"Symbolic model checking of signaling pathways in pancreatic cancer","author":"gong","year":"2011","journal-title":"BICoB"},{"key":"ref37","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-46430-1_16"},{"key":"ref36","doi-asserted-by":"publisher","DOI":"10.1109\/TNB.2015.2509475"},{"key":"ref35","doi-asserted-by":"publisher","DOI":"10.1109\/WSC.2009.5429719"},{"key":"ref34","doi-asserted-by":"publisher","DOI":"10.1016\/j.jtbi.2006.08.014"},{"key":"ref60","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-23401-4_3"},{"key":"ref61","doi-asserted-by":"publisher","DOI":"10.1049\/iet-syb:20070001"},{"key":"ref28","doi-asserted-by":"crossref","first-page":"394","DOI":"10.1007\/s100090100058","article-title":"Executable petri net models for the analysis of metabolic pathways","volume":"3","author":"genrich","year":"2001","journal-title":"International Journal on Software Tools for Technology Transfer"},{"key":"ref27","doi-asserted-by":"publisher","DOI":"10.1145\/1967701.1967710"},{"key":"ref29","doi-asserted-by":"publisher","DOI":"10.1049\/sb:20045019"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.1093\/bioinformatics\/16.8.727"},{"key":"ref1","year":"0","journal-title":"2014 CMU iGem"},{"key":"ref20","author":"coddington","year":"1955","journal-title":"Theory of Ordinary Differential Equations"},{"key":"ref22","doi-asserted-by":"publisher","DOI":"10.1089\/10665270252833208"},{"key":"ref21","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-74407-8_3"},{"key":"ref24","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-59745-525-1_5"},{"key":"ref23","doi-asserted-by":"publisher","DOI":"10.1093\/bioinformatics\/16.8.707"},{"key":"ref26","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-21690-4_38"},{"key":"ref25","doi-asserted-by":"publisher","DOI":"10.1038\/nbt1356"},{"key":"ref50","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-22438-6_34"},{"key":"ref51","doi-asserted-by":"publisher","DOI":"10.1006\/jcph.1995.1039"},{"key":"ref59","doi-asserted-by":"publisher","DOI":"10.1145\/2742060.2743762"},{"key":"ref58","article-title":"Formal modeling and analysis of pancreatic cancer microenvironment","author":"wang","year":"2015","journal-title":"International Conference on Computational Methods in Systems Biology"},{"key":"ref57","article-title":"Model checking for probabilistic timed and hybrid systems","author":"sproston","year":"2001"},{"key":"ref56","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-45352-0_5"},{"key":"ref55","doi-asserted-by":"publisher","DOI":"10.1093\/bioinformatics\/bti1130"},{"key":"ref54","doi-asserted-by":"publisher","DOI":"10.1093\/bioinformatics\/18.2.261"},{"key":"ref53","doi-asserted-by":"publisher","DOI":"10.1186\/1752-0509-1-4"},{"key":"ref52","doi-asserted-by":"publisher","DOI":"10.1126\/science.1105809"},{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.1074\/jbc.M708359200"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-11712-1_4"},{"key":"ref40","doi-asserted-by":"publisher","DOI":"10.3390\/cells2030506"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.1145\/2037509.2037533"},{"key":"ref13","doi-asserted-by":"publisher","DOI":"10.1016\/j.biosystems.2005.06.014"},{"key":"ref14","doi-asserted-by":"publisher","DOI":"10.1016\/j.jtbi.2008.03.029"},{"key":"ref15","doi-asserted-by":"publisher","DOI":"10.1007\/11587392_1"},{"key":"ref16","doi-asserted-by":"publisher","DOI":"10.1093\/bib\/bbm029"},{"key":"ref17","doi-asserted-by":"publisher","DOI":"10.1091\/mbc.E03-11-0794"},{"key":"ref18","doi-asserted-by":"publisher","DOI":"10.1007\/s12038-007-0011-6"},{"key":"ref19","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-39799-8_5"},{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.1016\/S0022-5193(03)00035-3"},{"key":"ref3","first-page":"17","article-title":"Identification of genetic networks from a small number of gene expression patterns under the boolean network model","volume":"4","author":"akutsu","year":"1999","journal-title":"Pacific Symposium on Biocomputing"},{"key":"ref6","author":"arnold","year":"1974","journal-title":"Stochastic Differential Equations Theory and Applications"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-57318-6_30"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.1371\/journal.pcbi.1004591"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4419-7964-3_6"},{"key":"ref49","author":"petri","year":"1962","journal-title":"Kommunikation mit Automaten"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.1529\/biophysj.106.093484"},{"key":"ref46","doi-asserted-by":"publisher","DOI":"10.1186\/1752-0509-5-166"},{"key":"ref45","doi-asserted-by":"publisher","DOI":"10.1186\/2191-0855-1-45"},{"key":"ref48","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-75140-3_16"},{"key":"ref47","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-12982-2_22"},{"key":"ref42","doi-asserted-by":"publisher","DOI":"10.1038\/224177a0"},{"key":"ref41","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-17930-8"},{"key":"ref44","doi-asserted-by":"publisher","DOI":"10.1073\/pnas.0305937101"},{"key":"ref43","first-page":"200","article-title":"dreach: ?-reachability analysis for hybrid systems","author":"kong","year":"2015","journal-title":"International Conference on Tools and Algorithms for the Construction and Analysis of Systems"}],"event":{"name":"2016 IEEE International High Level Design Validation and Test Workshop (HLDVT)","location":"Santa Cruz, CA, USA","start":{"date-parts":[[2016,10,7]]},"end":{"date-parts":[[2016,10,8]]}},"container-title":["2016 IEEE International High Level Design Validation and Test Workshop (HLDVT)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/7746774\/7748241\/07748273.pdf?arnumber=7748273","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,9,27]],"date-time":"2020-09-27T08:18:57Z","timestamp":1601194737000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/7748273\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2016,10]]},"references-count":61,"URL":"https:\/\/doi.org\/10.1109\/hldvt.2016.7748273","relation":{},"subject":[],"published":{"date-parts":[[2016,10]]}}}