{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,2,11]],"date-time":"2024-02-11T12:34:12Z","timestamp":1707654852281},"reference-count":0,"publisher":"Open Publishing Association","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Electron. Proc. Theor. Comput. Sci.","EPTCS"],"DOI":"10.4204\/eptcs.20.5","type":"journal-article","created":{"date-parts":[[2010,3,16]],"date-time":"2010-03-16T20:00:10Z","timestamp":1268769610000},"page":"49-62","source":"Crossref","is-referenced-by-count":4,"title":["Re-verification of a Lip Synchronization Protocol using Robust Reachability"],"prefix":"10.4204","volume":"20","author":[{"given":"Piotr","family":"Kordy","sequence":"first","affiliation":[{"name":"University of Twente, NL"}]},{"given":"Rom","family":"Langerak","sequence":"additional","affiliation":[{"name":"University of Twente, NL"}]},{"given":"Jan Willem","family":"Polderman","sequence":"additional","affiliation":[{"name":"University of Twente, NL"}]}],"member":"2720","published-online":{"date-parts":[[2010,3,28]]},"container-title":["Electronic Proceedings in Theoretical Computer Science"],"original-title":[],"language":"en","deposited":{"date-parts":[[2010,3,29]],"date-time":"2010-03-29T21:28:23Z","timestamp":1269898103000},"score":1,"resource":{"primary":{"URL":"http:\/\/arxiv.org\/abs\/1003.0431v1"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2010,3,28]]},"references-count":0,"URL":"https:\/\/doi.org\/10.4204\/eptcs.20.5","relation":{},"ISSN":["2075-2180"],"issn-type":[{"value":"2075-2180","type":"electronic"}],"subject":[],"published":{"date-parts":[[2010,3,28]]}}}