{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,10,22]],"date-time":"2024-10-22T04:19:04Z","timestamp":1729570744644,"version":"3.28.0"},"edition-number":"1","reference-count":0,"publisher":"EMS Press","isbn-type":[{"type":"print","value":"9783985470037"},{"type":"electronic","value":"9783985475032"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2021,9,13]]},"DOI":"10.4171\/automata-2\/16","type":"book-chapter","created":{"date-parts":[[2023,6,22]],"date-time":"2023-06-22T13:00:38Z","timestamp":1687438838000},"page":"1415-1456","source":"Crossref","is-referenced-by-count":2,"title":["Verification"],"prefix":"10.4171","author":[{"given":"Javier","family":"Esparza","sequence":"first","affiliation":[{"name":"Technische Universit\u00e4t M\u00fcnchen, Germany"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Orna","family":"Kupferman","sequence":"additional","affiliation":[{"name":"Hebrew University, Jerusalem, Israel"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Moshe Y.","family":"Vardi","sequence":"additional","affiliation":[{"name":"Rice University, Houston, USA"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"2673","container-title":["Handbook of Automata Theory"],"original-title":[],"deposited":{"date-parts":[[2024,10,21]],"date-time":"2024-10-21T18:49:12Z","timestamp":1729536552000},"score":1,"resource":{"primary":{"URL":"https:\/\/ems.press\/doi\/10.4171\/automata-2\/16"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2021,9,13]]},"ISBN":["9783985470037","9783985475032"],"references-count":0,"URL":"https:\/\/doi.org\/10.4171\/automata-2\/16","relation":{},"subject":[],"published":{"date-parts":[[2021,9,13]]}}}