{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2022,3,30]],"date-time":"2022-03-30T21:18:08Z","timestamp":1648675088098},"reference-count":19,"publisher":"Oxford University Press (OUP)","issue":"4","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Journal of Logic and Computation"],"published-print":{"date-parts":[[2013,8,1]]},"DOI":"10.1093\/logcom\/exr045","type":"journal-article","created":{"date-parts":[[2011,12,7]],"date-time":"2011-12-07T21:27:17Z","timestamp":1323293237000},"page":"761-798","source":"Crossref","is-referenced-by-count":11,"title":["(Hybrid) automata and (stochastic) programs * The hybrid automata lattice of a stochastic program"],"prefix":"10.1093","volume":"23","author":[{"given":"L.","family":"Bortolussi","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"A.","family":"Policriti","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"286","published-online":{"date-parts":[[2011,12,6]]},"reference":[{"key":"1_41382455","first-page":"1","volume":"14","year":"2005","journal-title":"EUROPEAN SERIES IN APPLIED AND INDUSTRIAL MATHEMATICS ESAIM PROCEEDINGS"},{"key":"2_25827927","doi-asserted-by":"crossref","first-page":"183","DOI":"10.1016\/0304-3975(94)90010-8","volume":"126","year":"1994","journal-title":"THEORETICAL COMPUTER SCIENCE"},{"key":"6_41382456","first-page":"65","volume":"164","year":"2006","journal-title":"PROCEEDINGS OF TH INTERNATIONAL WORKSHOP ON QUANTITATIVE ASPECTS OF PROGRAMMING LANGUAGES QAPL"},{"key":"7_41382488","doi-asserted-by":"crossref","first-page":"367","DOI":"10.1007\/978-3-642-13568-2_26","volume":"6148","year":"2010","journal-title":"PROCEEDINGS OF TH INTERNATIONAL CONFERENCE ON ANALYTICAL AND STOCHASTIC MODELING TECHNIQUES AND APPLICATIONS ASMTA"},{"key":"9_41382458","doi-asserted-by":"crossref","first-page":"66","DOI":"10.1007\/s10601-007-9034-8","volume":"13","year":"2008","ISSN":"http:\/\/id.crossref.org\/issn\/1572-9354","issn-type":"print"},{"key":"11_41382459","doi-asserted-by":"crossref","first-page":"216","DOI":"10.1007\/978-3-642-04186-0_11","volume":"5750","year":"2009","journal-title":"TRANSACTIONS ON COMPUTATIONAL SYSTEMS BIOLOGY XI"},{"key":"12_41382460","doi-asserted-by":"crossref","first-page":"465","DOI":"10.1007\/s11786-008-0065-3","volume":"2","year":"2009","journal-title":"MATHEMATICS IN COMPUTER SCIENCE"},{"key":"14_41382461","first-page":"75","volume":"229","year":"2009","journal-title":"PROCEEDINGS OF FIRST INTERNATIONAL WORKSHOP FROM BIOLOGY TO CONCURRENCY AND BACK FBTC"},{"key":"15_41382489","first-page":"37","volume":"5635","year":"2009","journal-title":"PROCEEDINGS TH CONFERENCE ON COMPUTABILITY IN EUROPE CIE"},{"key":"17_41382463","doi-asserted-by":"crossref","first-page":"2052","DOI":"10.1016\/j.tcs.2010.02.008","volume":"411","year":"2010","journal-title":"THEORETICAL COMPUTER SCIENCE"},{"key":"22_41382464","first-page":"305","volume":"5710","year":"2009","journal-title":"PROCEEDINGS OF CONCUR"},{"issue":"22","key":"24_22567173","doi-asserted-by":"publisher","first-page":"2782","DOI":"10.1093\/bioinformatics\/btl465","volume":"22","year":"2006","journal-title":"Bioinformatics","ISSN":"http:\/\/id.crossref.org\/issn\/1367-4803","issn-type":"print"},{"key":"30_29251073","doi-asserted-by":"crossref","first-page":"6959","DOI":"10.1063\/1.1505860","volume":"117","year":"2002","journal-title":"The Journal of Chemical Physics","ISSN":"http:\/\/id.crossref.org\/issn\/1089-7690","issn-type":"print"},{"issue":"16","key":"31_19535531","doi-asserted-by":"publisher","first-page":"164115","DOI":"10.1063\/1.2062048","volume":"123","author":"Haseltine","year":"2005","journal-title":"The Journal of Chemical Physics","ISSN":"http:\/\/id.crossref.org\/issn\/1089-7690","issn-type":"print"},{"issue":"3","key":"32_18038309","doi-asserted-by":"publisher","first-page":"316","DOI":"10.1093\/bioinformatics\/btg409","volume":"20","author":"Kiehl","year":"2004","journal-title":"Bioinformatics","ISSN":"http:\/\/id.crossref.org\/issn\/1367-4803","issn-type":"print"},{"key":"33_28372901","doi-asserted-by":"crossref","first-page":"49","DOI":"10.2307\/3212147","volume":"7","year":"1970","ISSN":"http:\/\/id.crossref.org\/issn\/0021-9002","issn-type":"print"},{"key":"34_41382465","doi-asserted-by":"crossref","first-page":"463","DOI":"10.1007\/978-3-540-24743-2_31","volume":"2993","year":"2004","journal-title":"PROCEEDINGS OF TH INTERNATIONAL WORKSHOP ON HYBRID SYSTEMS COMPUTATION AND CONTROL HSCC"},{"key":"36_41382466","first-page":"53","volume":"10","year":"2009","journal-title":"BRIEFING IN BIOINFORMATICS"},{"issue":"5","key":"38_18724089","doi-asserted-by":"publisher","first-page":"54103","DOI":"10.1063\/1.1835951","volume":"122","author":"Salis","year":"2005","journal-title":"The Journal of Chemical Physics","ISSN":"http:\/\/id.crossref.org\/issn\/1089-7690","issn-type":"print"}],"container-title":["Journal of Logic and Computation"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/academic.oup.com\/logcom\/article-pdf\/23\/4\/761\/2775174\/exr045.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,8,23]],"date-time":"2017-08-23T07:27:32Z","timestamp":1503473252000},"score":1,"resource":{"primary":{"URL":"https:\/\/academic.oup.com\/logcom\/article-lookup\/doi\/10.1093\/logcom\/exr045"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2011,12,6]]},"references-count":19,"journal-issue":{"issue":"4","published-online":{"date-parts":[[2013,7,15]]},"published-print":{"date-parts":[[2013,8,1]]}},"URL":"https:\/\/doi.org\/10.1093\/logcom\/exr045","relation":{},"ISSN":["0955-792X","1465-363X"],"issn-type":[{"value":"0955-792X","type":"print"},{"value":"1465-363X","type":"electronic"}],"subject":[],"published":{"date-parts":[[2011,12,6]]}}}