{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2022,3,31]],"date-time":"2022-03-31T01:46:18Z","timestamp":1648691178370},"reference-count":12,"publisher":"Oxford University Press (OUP)","issue":"6","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Logic Journal of IGPL"],"published-print":{"date-parts":[[2012,12,1]]},"DOI":"10.1093\/jigpal\/jzr054","type":"journal-article","created":{"date-parts":[[2012,1,20]],"date-time":"2012-01-20T02:45:49Z","timestamp":1327027549000},"page":"1175-1201","source":"Crossref","is-referenced-by-count":1,"title":["Decidability and complexity for \u00a0-regular properties of stochastic systems"],"prefix":"10.1093","volume":"20","author":[{"given":"D.","family":"Henriques","sequence":"first","affiliation":[]},{"given":"M.","family":"Biscaia","sequence":"additional","affiliation":[]},{"given":"P.","family":"Baltazar","sequence":"additional","affiliation":[]},{"given":"P.","family":"Mateus","sequence":"additional","affiliation":[]}],"member":"286","published-online":{"date-parts":[[2012,1,18]]},"reference":[{"key":"4_41555310","first-page":"339","volume":"220","year":"2004","journal-title":"Journal of Theoretical Biology","ISSN":"http:\/\/id.crossref.org\/issn\/1095-8541","issn-type":"print"},{"key":"5_41555311","doi-asserted-by":"crossref","first-page":"499","DOI":"10.1007\/3-540-60692-0_70","volume":"1026","year":"1995","journal-title":"Lecture Notes in Computer Science","ISSN":"http:\/\/id.crossref.org\/issn\/0302-9743","issn-type":"print"},{"key":"6_41559609","doi-asserted-by":"crossref","first-page":"223","DOI":"10.1109\/TC.1982.1675978","volume":"C-31","year":"1982","ISSN":"http:\/\/id.crossref.org\/issn\/0018-9340","issn-type":"print"},{"key":"11_41559610","doi-asserted-by":"crossref","first-page":"147","DOI":"10.1007\/978-3-540-24611-4_5","volume":"2925","year":"2004","journal-title":"VALIDATION OF STOCHASTIC SYSTEMS"},{"key":"13_41555314","doi-asserted-by":"crossref","first-page":"857","DOI":"10.1145\/210332.210339","volume":"42","year":"1995","journal-title":"JOURNAL OF ACM"},{"key":"14_41555315","doi-asserted-by":"crossref","first-page":"173","DOI":"10.1007\/s10992-009-9122-x","volume":"39","year":"2010","journal-title":"JOURNAL OF PHILOSOPHICAL LOGIC"},{"key":"15_26937559","doi-asserted-by":"crossref","first-page":"78","DOI":"10.1016\/0890-5401(90)90060-U","volume":"87","year":"1990","journal-title":"INFORMATION AND COMPUTATION"},{"key":"18_41555316","doi-asserted-by":"crossref","first-page":"512","DOI":"10.1007\/BF01211866","volume":"6","year":"1994","journal-title":"FORMAL ASPECT OF COMPUTATION"},{"key":"21_41559611","first-page":"251","volume":"4","year":"2009","journal-title":"PROCEEDINGS OF THE TH INTERNATIONAL CONFERENCE ON FOUNDATIONS OF SOFTWARE TECHNOLOGY AND THEORETICAL COMPUTER SCIENCE FSTTCS"},{"key":"23_41555318","doi-asserted-by":"crossref","first-page":"771","DOI":"10.1016\/j.ic.2006.02.001","volume":"204","year":"2006","journal-title":"INFORMATION AND COMPUTATION"},{"issue":"2","key":"25_21871106","doi-asserted-by":"publisher","first-page":"257","DOI":"10.1093\/logcom\/exi077","volume":"16","author":"Ognjanovic","year":"2006","journal-title":"Journal of Logic and Computation","ISSN":"http:\/\/id.crossref.org\/issn\/0955-792X","issn-type":"print"},{"key":"27_41555319","first-page":"1","volume":"141","year":"1969","journal-title":"TRANSACTIONS OF THE AMERICAN MATHEMATICAL SOCIETY"}],"container-title":["Logic Journal of IGPL"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/academic.oup.com\/jigpal\/article-pdf\/20\/6\/1175\/1937473\/jzr054.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,8,23]],"date-time":"2017-08-23T05:59:36Z","timestamp":1503467976000},"score":1,"resource":{"primary":{"URL":"https:\/\/academic.oup.com\/jigpal\/article-lookup\/doi\/10.1093\/jigpal\/jzr054"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2012,1,18]]},"references-count":12,"journal-issue":{"issue":"6","published-online":{"date-parts":[[2012,11,28]]},"published-print":{"date-parts":[[2012,12,1]]}},"URL":"https:\/\/doi.org\/10.1093\/jigpal\/jzr054","relation":{},"ISSN":["1367-0751","1368-9894"],"issn-type":[{"value":"1367-0751","type":"print"},{"value":"1368-9894","type":"electronic"}],"subject":[],"published":{"date-parts":[[2012,1,18]]}}}