{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2023,9,5]],"date-time":"2023-09-05T03:12:58Z","timestamp":1693883578655},"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\/exn077","type":"journal-article","created":{"date-parts":[[2008,11,28]],"date-time":"2008-11-28T01:34:47Z","timestamp":1227836087000},"page":"707-723","source":"Crossref","is-referenced-by-count":28,"title":["Collaborative Runtime Verification with Tracematches"],"prefix":"10.1093","volume":"20","author":[{"given":"E.","family":"Bodden","sequence":"first","affiliation":[]},{"given":"L.","family":"Hendren","sequence":"additional","affiliation":[]},{"given":"P.","family":"Lam","sequence":"additional","affiliation":[]},{"given":"O.","family":"Lhotak","sequence":"additional","affiliation":[]},{"given":"N. A.","family":"Naeem","sequence":"additional","affiliation":[]}],"member":"286","published-online":{"date-parts":[[2008,11,27]]},"reference":[{"key":"12_32735566","doi-asserted-by":"crossref","first-page":"87","DOI":"10.1002\/(SICI)1097-024X(199701)27:1<87::AID-SPE78>3.0.CO;2-P","volume":"27","year":"1997","journal-title":"SOFTWARE PRACTICE EXPERIENCE"},{"key":"15_32735567","first-page":"157","volume":"12","year":"1986","journal-title":"IEEE TRANSACTIONS ON SOFTWARE ENGINEERING"}],"container-title":["Journal of Logic and Computation"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/academic.oup.com\/logcom\/article-pdf\/20\/3\/707\/6293159\/exn077.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,2,15]],"date-time":"2019-02-15T23:50:32Z","timestamp":1550274632000},"score":1,"resource":{"primary":{"URL":"https:\/\/academic.oup.com\/logcom\/article-lookup\/doi\/10.1093\/logcom\/exn077"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2008,11,27]]},"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\/exn077","relation":{},"ISSN":["0955-792X","1465-363X"],"issn-type":[{"value":"0955-792X","type":"print"},{"value":"1465-363X","type":"electronic"}],"subject":[],"published":{"date-parts":[[2008,11,27]]}}}