{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,10,22]],"date-time":"2024-10-22T20:36:20Z","timestamp":1729629380807,"version":"3.28.0"},"reference-count":17,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2012,11]]},"DOI":"10.1109\/bibe.2012.6399719","type":"proceedings-article","created":{"date-parts":[[2013,1,7]],"date-time":"2013-01-07T16:34:59Z","timestamp":1357576499000},"page":"447-453","source":"Crossref","is-referenced-by-count":9,"title":["Modelling biological pathway dynamics with Timed Automata"],"prefix":"10.1109","author":[{"given":"Stefano","family":"Schivo","sequence":"first","affiliation":[]},{"given":"Jetse","family":"Scholma","sequence":"additional","affiliation":[]},{"given":"Brend","family":"Wanders","sequence":"additional","affiliation":[]},{"given":"Ricardo A. Urquidi","family":"Camacho","sequence":"additional","affiliation":[]},{"given":"Paul E.","family":"van der Vet","sequence":"additional","affiliation":[]},{"given":"Marcel","family":"Karperien","sequence":"additional","affiliation":[]},{"given":"Rom","family":"Langerak","sequence":"additional","affiliation":[]},{"given":"Jaco","family":"van de Pol","sequence":"additional","affiliation":[]},{"given":"Janine N.","family":"Post","sequence":"additional","affiliation":[]}],"member":"263","reference":[{"key":"17","doi-asserted-by":"crossref","first-page":"297","DOI":"10.1007\/978-3-642-21455-4_9","article-title":"Model-based testing and some steps towards test-based modelling","volume":"6659","author":"tretmans","year":"2011","journal-title":"Lecture Notes in Computer Science"},{"key":"15","doi-asserted-by":"publisher","DOI":"10.1038\/ncb1543"},{"key":"16","doi-asserted-by":"crossref","first-page":"349","DOI":"10.1007\/978-3-642-22110-1_27","article-title":"Time for statistical model checking of real-time systems","volume":"6806","author":"david","year":"2011","journal-title":"Lecture Notes in Computer Science"},{"key":"13","doi-asserted-by":"crossref","first-page":"54","DOI":"10.1007\/BFb0058022","article-title":"Model checking","volume":"1346","author":"clarke","year":"1997","journal-title":"Lecture Notes in Computer Science"},{"key":"14","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-68413-8_6"},{"key":"11","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-60761-175-2_12"},{"key":"12","doi-asserted-by":"crossref","first-page":"134","DOI":"10.1007\/s100090050010","article-title":"UPPAAL in a nutshell","volume":"1","author":"larsen","year":"1997","journal-title":"International Journal on Software Tools for Technology Transfer (STTT)"},{"key":"3","doi-asserted-by":"publisher","DOI":"10.1093\/bioinformatics\/btf851"},{"key":"2","doi-asserted-by":"crossref","first-page":"17","DOI":"10.1007\/978-1-59745-525-1_2","article-title":"Computational modeling of biochemical networks using COPASI systems biology","volume":"500","author":"mendes","year":"2009","journal-title":"Methods in Molecular Biology"},{"key":"1","doi-asserted-by":"crossref","first-page":"1239","DOI":"10.1038\/nbt1356","article-title":"Executable cell biology","volume":"25","author":"fisher","year":"2007","journal-title":"Nature Biotechnology"},{"journal-title":"ANIMO","year":"0","key":"10"},{"key":"7","doi-asserted-by":"crossref","first-page":"229","DOI":"10.1007\/978-3-642-11712-1_7","article-title":"Modelling and analysis of the NF-?B pathway in Bio-PEPA","volume":"5945","author":"ciocchetta","year":"2010","journal-title":"Lecture Notes in Computer Science"},{"key":"6","doi-asserted-by":"publisher","DOI":"10.1016\/j.tcs.2009.02.037"},{"key":"5","doi-asserted-by":"publisher","DOI":"10.1145\/1364644.1364653"},{"key":"4","doi-asserted-by":"publisher","DOI":"10.1093\/bioinformatics\/15.1.72"},{"key":"9","doi-asserted-by":"publisher","DOI":"10.1016\/0304-3975(94)90010-8"},{"key":"8","doi-asserted-by":"publisher","DOI":"10.1142\/S0218339011003865"}],"event":{"name":"2012 IEEE 12th International Conference on Bioinformatics & Bioengineering (BIBE)","start":{"date-parts":[[2012,11,11]]},"location":"Larnaca, Cyprus","end":{"date-parts":[[2012,11,13]]}},"container-title":["2012 IEEE 12th International Conference on Bioinformatics & Bioengineering (BIBE)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx5\/6387371\/6399636\/06399719.pdf?arnumber=6399719","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,6,21]],"date-time":"2017-06-21T01:18:33Z","timestamp":1498007913000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/6399719\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2012,11]]},"references-count":17,"URL":"https:\/\/doi.org\/10.1109\/bibe.2012.6399719","relation":{},"subject":[],"published":{"date-parts":[[2012,11]]}}}