{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,4]],"date-time":"2025-10-04T14:30:20Z","timestamp":1759588220932},"reference-count":12,"publisher":"Oxford University Press (OUP)","issue":"3","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Briefings in Bioinformatics"],"published-print":{"date-parts":[[2010,5,1]]},"DOI":"10.1093\/bib\/bbp074","type":"journal-article","created":{"date-parts":[[2010,4,28]],"date-time":"2010-04-28T21:01:26Z","timestamp":1272488486000},"page":"301-312","source":"Crossref","is-referenced-by-count":22,"title":["High-performance analysis of biological systems dynamics with the DiVinE model checker"],"prefix":"10.1093","volume":"11","author":[{"given":"J.","family":"Barnat","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"L.","family":"Brim","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"D.","family":"Safranek","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"286","published-online":{"date-parts":[[2010,4,28]]},"reference":[{"issue":"3","key":"3_34490565","doi-asserted-by":"publisher","first-page":"278","DOI":"10.1093\/bib\/bbp020","volume":"10","year":"2009","journal-title":"Briefings in Bioinformatics","ISSN":"http:\/\/id.crossref.org\/issn\/1467-5463","issn-type":"print"},{"key":"4_37177074","first-page":"31","volume":"6","year":"2009","journal-title":"PROCEEDINGS OF ND INTERNATIONAL WORKSHOP ON COMPUTATIONAL MODELS FOR CELL PROCESSES COMPMOD ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE"},{"key":"5_37177075","first-page":"259","volume":"4111","year":"2005","journal-title":"PROC TH INT SYMP ON FORMAL METHODS FOR COMPONENTS AND OBJECTS LECTURE NOTES IN COMPUTER SCIENCE"},{"key":"7_37177076","doi-asserted-by":"crossref","first-page":"3128","DOI":"10.1016\/j.tcs.2009.02.017","volume":"410","year":"2009","journal-title":"THEOR COMPUT SCI"},{"key":"8_37177077","first-page":"35","volume":"194","year":"2007","journal-title":"PROCEEDING OF FROM BIOLOGY TO CONCURRENCY AND BACK ELECTRONIC NOTES IN COMPUTER SCIENCE"},{"key":"10_37177078","doi-asserted-by":"crossref","first-page":"278","DOI":"10.1007\/11817963_26","volume":"4144","year":"2006","journal-title":"COMPUTER AIDED VERIFICATION LECTURE NOTES IN COMPUTER SCIENCE"},{"key":"12_37177079","doi-asserted-by":"crossref","first-page":"215","DOI":"10.1109\/TAC.2007.911330","volume":"53","year":"2008","journal-title":"IEEE TRANS AUTOM CONTROL"},{"key":"14_37177080","doi-asserted-by":"crossref","first-page":"1749","DOI":"10.1109\/TAC.2006.884957","volume":"51","year":"2006","journal-title":"IEEE TRANS AUTOM CONTROL"},{"issue":"14","key":"15_22060349","doi-asserted-by":"publisher","first-page":"1805","DOI":"10.1093\/bioinformatics\/btl172","volume":"22","year":"2006","journal-title":"Bioinformatics","ISSN":"http:\/\/id.crossref.org\/issn\/1367-4803","issn-type":"print"},{"issue":"2","key":"16_18036564","doi-asserted-by":"publisher","first-page":"301","DOI":"10.1016\/j.bulm.2003.08.010","volume":"66","author":"De Jong","year":"2004","journal-title":"Bulletin of mathematical biology","ISSN":"http:\/\/id.crossref.org\/issn\/0092-8240","issn-type":"print"},{"issue":"4","key":"17_22633751","doi-asserted-by":"publisher","first-page":"354","DOI":"10.1093\/bib\/bbl034","volume":"7","year":"2006","journal-title":"Briefings in Bioinformatics","ISSN":"http:\/\/id.crossref.org\/issn\/1467-5463","issn-type":"print"},{"key":"21_37177081","first-page":"147","volume":"138","year":"2008","journal-title":"PROCEEDINGS OF HEALTH GRID"}],"container-title":["Briefings in Bioinformatics"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/academic.oup.com\/bib\/article-pdf\/11\/3\/301\/607245\/bbp074.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,2,28]],"date-time":"2019-02-28T04:26:55Z","timestamp":1551328015000},"score":1,"resource":{"primary":{"URL":"https:\/\/academic.oup.com\/bib\/article-lookup\/doi\/10.1093\/bib\/bbp074"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2010,4,28]]},"references-count":12,"journal-issue":{"issue":"3","published-online":{"date-parts":[[2010,5,16]]},"published-print":{"date-parts":[[2010,5,1]]}},"URL":"https:\/\/doi.org\/10.1093\/bib\/bbp074","relation":{},"ISSN":["1467-5463","1477-4054"],"issn-type":[{"value":"1467-5463","type":"print"},{"value":"1477-4054","type":"electronic"}],"subject":[],"published":{"date-parts":[[2010,4,28]]}}}