{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,8,23]],"date-time":"2024-08-23T21:51:27Z","timestamp":1724449887142},"reference-count":25,"publisher":"Society for Industrial & Applied Mathematics (SIAM)","issue":"3","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["SIAM J. Comput."],"published-print":{"date-parts":[[2013,1]]},"DOI":"10.1137\/120876435","type":"journal-article","created":{"date-parts":[[2013,5,21]],"date-time":"2013-05-21T14:15:40Z","timestamp":1369145740000},"page":"884-923","source":"Crossref","is-referenced-by-count":9,"title":["Branching-Time Model Checking of One-Counter Processes and Timed Automata"],"prefix":"10.1137","volume":"42","author":[{"given":"Stefan","family":"G\u00f6ller","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Markus","family":"Lohrey","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"351","reference":[{"key":"atypb1","first-page":"135","author":"Ahmed Bouajjani O. M.","year":"1997","journal-title":"Berlin"},{"key":"atypb2","doi-asserted-by":"publisher","DOI":"10.1016\/0304-3975(94)90010-8"},{"key":"atypb5","doi-asserted-by":"publisher","DOI":"10.1137\/0215070"},{"key":"atypb7","first-page":"111","author":"Bouyer P.","year":"2008","journal-title":"New York"},{"key":"atypb8","first-page":"863","author":"Br\u00e1zdil T.","year":"2010","journal-title":"Philadelphia"},{"key":"atypb9","first-page":"68","author":"Cachat T.","year":"2002","journal-title":"Electron. Notes Theoret. Comput. Sci."},{"key":"atypb10","doi-asserted-by":"publisher","DOI":"10.1142\/S0129054191000054"},{"key":"atypb11","doi-asserted-by":"publisher","DOI":"10.1051\/ita:2001119"},{"key":"atypb12","first-page":"371","volume":"5","author":"Choffrut C.","year":"2000","journal-title":"J. Autom. Lang. Comb."},{"key":"atypb13","doi-asserted-by":"publisher","DOI":"10.1007\/BF00709157"},{"key":"atypb15","first-page":"891","author":"Etessami K.","year":"2005","journal-title":"Berlin"},{"key":"atypb18","first-page":"235","author":"G\u00f6ller S.","year":"2009","journal-title":"New York"},{"key":"atypb19","first-page":"369","author":"Haase C.","year":"2009","journal-title":"Berlin"},{"key":"atypb20","first-page":"54","author":"Haase C.","year":"2012","journal-title":"Berlin"},{"key":"atypb21","first-page":"200","author":"Hertrampf U.","year":"1993","journal-title":"New York"},{"key":"atypb22","doi-asserted-by":"publisher","DOI":"10.1016\/S0022-0000(02)00025-9"},{"key":"atypb23","first-page":"88","author":"Holzer M.","year":"1996","journal-title":"NJ"},{"key":"atypb24","doi-asserted-by":"publisher","DOI":"10.1016\/j.ipl.2007.06.006"},{"key":"atypb25","first-page":"387","author":"Laroussinie F.","year":"2004","journal-title":"Berlin"},{"key":"atypb26","doi-asserted-by":"publisher","DOI":"10.2307\/2320934"},{"key":"atypb29","doi-asserted-by":"publisher","DOI":"10.1016\/S0020-0190(02)00445-3"},{"key":"atypb31","first-page":"256","author":"Th\u00e9rien D.","year":"1996","journal-title":"IEEE"},{"key":"atypb35","doi-asserted-by":"publisher","DOI":"10.1016\/0304-3975(87)90049-1"},{"key":"atypb36","first-page":"127","author":"Walukiewicz I.","year":"2000","journal-title":"Berlin"},{"key":"atypb37","doi-asserted-by":"publisher","DOI":"10.1006\/inco.2000.2894"}],"container-title":["SIAM Journal on Computing"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/epubs.siam.org\/doi\/pdf\/10.1137\/120876435","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,1,29]],"date-time":"2017-01-29T12:16:34Z","timestamp":1485692194000},"score":1,"resource":{"primary":{"URL":"http:\/\/epubs.siam.org\/doi\/10.1137\/120876435"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2013,1]]},"references-count":25,"journal-issue":{"issue":"3","published-print":{"date-parts":[[2013,1]]}},"alternative-id":["10.1137\/120876435"],"URL":"https:\/\/doi.org\/10.1137\/120876435","relation":{},"ISSN":["0097-5397","1095-7111"],"issn-type":[{"value":"0097-5397","type":"print"},{"value":"1095-7111","type":"electronic"}],"subject":[],"published":{"date-parts":[[2013,1]]}}}