{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2022,4,4]],"date-time":"2022-04-04T18:10:45Z","timestamp":1649095845565},"reference-count":41,"publisher":"Informa UK Limited","issue":"4","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Journal of Applied Non-Classical Logics"],"published-print":{"date-parts":[[2010,1]]},"DOI":"10.3166\/jancl.20.437-455","type":"journal-article","created":{"date-parts":[[2011,3,10]],"date-time":"2011-03-10T08:49:26Z","timestamp":1299746966000},"page":"437-455","source":"Crossref","is-referenced-by-count":5,"title":["Metric temporal reasoning with less than two clocks"],"prefix":"10.1080","volume":"20","author":[{"given":"Mark","family":"Reynolds","sequence":"first","affiliation":[{"name":"a  The University of Western Australia ,  Australia"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"301","published-online":{"date-parts":[[2012,4,13]]},"reference":[{"key":"CIT0001","volume-title":"Reasoning about Plans","author":"Allen J.","year":"1991"},{"key":"CIT0002","doi-asserted-by":"publisher","DOI":"10.1145\/227595.227602"},{"key":"CIT0003","first-page":"74","volume-title":"REX Workshop, volume 600 of Lecture Notes in Computer Science","author":"Alur R.","year":"1991"},{"key":"CIT0004","doi-asserted-by":"publisher","DOI":"10.1006\/inco.1993.1025"},{"key":"CIT0005","doi-asserted-by":"publisher","DOI":"10.1145\/174644.174651"},{"key":"CIT0006","volume-title":"In FSEN'07, Proc. of the International Symposium on Fundamentals of Software Engineering","author":"Bianculli D."},{"key":"CIT0007","doi-asserted-by":"publisher","DOI":"10.1305\/ndjfl\/1093870820"},{"key":"CIT0008","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-49253-4_1"},{"key":"CIT0009","doi-asserted-by":"publisher","DOI":"10.1007\/s10009-005-0214-9"},{"key":"CIT0010","doi-asserted-by":"publisher","DOI":"10.1023\/A:1017588004618"},{"key":"CIT0011","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-75454-1_13"},{"key":"CIT0012","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-85778-5_9"},{"key":"CIT0013","doi-asserted-by":"publisher","DOI":"10.1007\/BFb0013976"},{"key":"CIT0014","doi-asserted-by":"publisher","DOI":"10.1093\/logcom\/1.2.229"},{"key":"CIT0015","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-69850-0"},{"key":"CIT0016","doi-asserted-by":"publisher","DOI":"10.1016\/0304-3975(94)00145-9"},{"key":"CIT0017","volume-title":"Stanford Encyclopedia of Philosophy","author":"Hasse D. N.","year":"2008"},{"key":"CIT0018","doi-asserted-by":"publisher","DOI":"10.2168\/LMCS-3(1:3)2007"},{"key":"CIT0019","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-48523-6_39"},{"issue":"1","key":"CIT0020","first-page":"1","volume":"62","author":"Hirshfeld Y.","year":"2004","journal-title":"Fundam. Inform."},{"key":"CIT0021","volume-title":"Tense logic and the theory of linear order","author":"Kamp H.","year":"1968"},{"key":"CIT0022","first-page":"273","volume-title":"A decade of concurrency: reflections and perspectives: REX school\/symposium","author":"Kesten Y."},{"key":"CIT0023","doi-asserted-by":"publisher","DOI":"10.1007\/BF01995674"},{"key":"CIT0024","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4612-0931-7"},{"key":"CIT0025","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4612-4222-2"},{"key":"CIT0026","doi-asserted-by":"publisher","DOI":"10.1007\/10722086_26"},{"key":"CIT0027","first-page":"171","volume-title":"Logic Colloquium '92","author":"N\u00e9meti I.","year":"1995"},{"key":"CIT0028","series-title":"Advanced Software Development Series","volume-title":"Temporal Logic for Real-Time Systems","author":"Ostroff J. S.","year":"1989"},{"key":"CIT0029","first-page":"1","volume-title":"FORMATS '08: Proceedings of the 6th international conference on Formal Modeling and Analysis of Timed Systems","author":"Ouaknine J."},{"key":"CIT0030","first-page":"46","volume-title":"Proceedings of the Eighteenth Symposium on Foundations of Computer Science","author":"Pnueli A."},{"key":"CIT0031","doi-asserted-by":"publisher","DOI":"10.2307\/2957434"},{"key":"CIT0032","doi-asserted-by":"publisher","DOI":"10.1093\/logcom\/8.5.669"},{"key":"CIT0033","doi-asserted-by":"publisher","DOI":"10.1007\/BF00370112"},{"key":"CIT0034","doi-asserted-by":"publisher","DOI":"10.1016\/S0022-0000(03)00005-9"},{"key":"CIT0035","first-page":"3","volume-title":"TIME '09: Proceedings of the 2009 16th International Symposium on Temporal Representation and Reasoning","author":"Reynolds M."},{"key":"CIT0036","doi-asserted-by":"publisher","DOI":"10.1016\/j.apal.2010.01.002"},{"key":"CIT0037","volume-title":"Metric temporal logic revisited","author":"Reynolds M.","year":"2010"},{"key":"CIT0038","first-page":"?-?","author":"Reynolds M.","year":"2010","journal-title":"TBA"},{"key":"CIT0039","doi-asserted-by":"publisher","DOI":"10.1109\/MMCS.1996.535008"},{"key":"CIT0040","volume-title":"Temporal Databases: Theory, Design and Implementation","author":"Tansel A.","year":"1993"},{"key":"CIT0041","first-page":"694","volume-title":"LNCS","volume":"863","author":"Wilke T.","year":"1994"}],"container-title":["Journal of Applied Non-Classical Logics"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/www.tandfonline.com\/doi\/pdf\/10.3166\/jancl.20.437-455","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,6,23]],"date-time":"2017-06-23T14:12:50Z","timestamp":1498227170000},"score":1,"resource":{"primary":{"URL":"https:\/\/www.tandfonline.com\/doi\/full\/10.3166\/jancl.20.437-455"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2010,1]]},"references-count":41,"journal-issue":{"issue":"4","published-online":{"date-parts":[[2012,4,13]]},"published-print":{"date-parts":[[2010,1]]}},"alternative-id":["10.3166\/jancl.20.437-455"],"URL":"https:\/\/doi.org\/10.3166\/jancl.20.437-455","relation":{},"ISSN":["1166-3081","1958-5780"],"issn-type":[{"value":"1166-3081","type":"print"},{"value":"1958-5780","type":"electronic"}],"subject":[],"published":{"date-parts":[[2010,1]]}}}