{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T21:33:35Z","timestamp":1725572015809},"reference-count":14,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2010,12]]},"DOI":"10.1109\/bibmw.2010.5703920","type":"proceedings-article","created":{"date-parts":[[2011,1,28]],"date-time":"2011-01-28T15:12:31Z","timestamp":1296227551000},"page":"812-813","source":"Crossref","is-referenced-by-count":0,"title":["Modeling and formal verification of biological regulatory networks: An integrative approach"],"prefix":"10.1109","author":[{"given":"Pedro T.","family":"Monteiro","sequence":"first","affiliation":[]},{"given":"Ana T.","family":"Freitas","sequence":"additional","affiliation":[]},{"given":"Delphine","family":"Ropers","sequence":"additional","affiliation":[]},{"given":"Radu","family":"Mateescu","sequence":"additional","affiliation":[]},{"given":"Hidde","family":"de Jong","sequence":"additional","affiliation":[]}],"member":"263","reference":[{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.1038\/nbt1356"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-75140-3_14"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.1038\/nbt1114"},{"key":"ref13","doi-asserted-by":"publisher","DOI":"10.1093\/bioinformatics\/btn275"},{"key":"ref14","doi-asserted-by":"publisher","DOI":"10.7551\/mitpress\/9780262195485.001.0001"},{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.1016\/j.jtbi.2004.04.003"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.1093\/bioinformatics\/btm362"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.1016\/j.tcs.2004.03.063"},{"key":"ref5","first-page":"79","article-title":"Analysis of signalling pathways using the PRISM model checker","author":"calder","year":"2005","journal-title":"Proc 3th Conf Computational Methods in Systems Biology (CMSB 2005)"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.1093\/bioinformatics\/btf851"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.1091\/mbc.E03-11-0794"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.1093\/bioinformatics\/bti1048"},{"key":"ref1","doi-asserted-by":"publisher","DOI":"10.1385\/CBB:38:3:271"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.1145\/302405.302672"}],"event":{"name":"2010 IEEE International Conference on Bioinformatics and Biomedicine Workshops (BIBMW)","start":{"date-parts":[[2010,12,18]]},"location":"HongKong, China","end":{"date-parts":[[2010,12,18]]}},"container-title":["2010 IEEE International Conference on Bioinformatics and Biomedicine Workshops (BIBMW)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx5\/5695144\/5703537\/05703920.pdf?arnumber=5703920","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,3,21]],"date-time":"2017-03-21T04:53:38Z","timestamp":1490072018000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/5703920\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2010,12]]},"references-count":14,"URL":"https:\/\/doi.org\/10.1109\/bibmw.2010.5703920","relation":{},"subject":[],"published":{"date-parts":[[2010,12]]}}}