{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,9]],"date-time":"2024-09-09T17:12:08Z","timestamp":1725901928147},"reference-count":2,"publisher":"Oxford University Press (OUP)","issue":"3","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Journal of Logic and Computation"],"published-print":{"date-parts":[[2010,6,1]]},"DOI":"10.1093\/logcom\/exn075","type":"journal-article","created":{"date-parts":[[2009,2,26]],"date-time":"2009-02-26T21:05:11Z","timestamp":1235682311000},"page":"651-674","source":"Crossref","is-referenced-by-count":166,"title":["Comparing LTL Semantics for Runtime Verification"],"prefix":"10.1093","volume":"20","author":[{"given":"A.","family":"Bauer","sequence":"first","affiliation":[]},{"given":"M.","family":"Leucker","sequence":"additional","affiliation":[]},{"given":"C.","family":"Schallhart","sequence":"additional","affiliation":[]}],"member":"286","published-online":{"date-parts":[[2009,2,26]]},"reference":[{"key":"12_34145614","doi-asserted-by":"crossref","first-page":"200","DOI":"10.1016\/S1571-0661(04)00253-1","volume":"55","year":"2001","journal-title":"ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE"},{"key":"16_34145615","doi-asserted-by":"crossref","first-page":"291","DOI":"10.1023\/A:1011254632723","volume":"19","year":"2001","journal-title":"FORMAL METHODS IN SYSTEM DESIGN"}],"container-title":["Journal of Logic and Computation"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/academic.oup.com\/logcom\/article-pdf\/20\/3\/651\/6293000\/exn075.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,2,17]],"date-time":"2019-02-17T18:44:29Z","timestamp":1550429069000},"score":1,"resource":{"primary":{"URL":"https:\/\/academic.oup.com\/logcom\/article-lookup\/doi\/10.1093\/logcom\/exn075"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2009,2,26]]},"references-count":2,"journal-issue":{"issue":"3","published-online":{"date-parts":[[2010,5,21]]},"published-print":{"date-parts":[[2010,6,1]]}},"URL":"https:\/\/doi.org\/10.1093\/logcom\/exn075","relation":{},"ISSN":["0955-792X","1465-363X"],"issn-type":[{"value":"0955-792X","type":"print"},{"value":"1465-363X","type":"electronic"}],"subject":[],"published":{"date-parts":[[2009,2,26]]}}}