{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,5,2]],"date-time":"2024-05-02T03:41:30Z","timestamp":1714621290821},"reference-count":0,"publisher":"Co-Published with Indian Institute of Science (IISc), Bangalore, India","isbn-type":[{"value":"9789814271042","type":"print"},{"value":"9789814271059","type":"electronic"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2012,7]]},"DOI":"10.1142\/9789814271059_0012","type":"book-chapter","created":{"date-parts":[[2012,7,18]],"date-time":"2012-07-18T18:55:52Z","timestamp":1342637752000},"page":"373-414","source":"Crossref","is-referenced-by-count":0,"title":["Three Case Studies on Verification of Infinite-State Systems"],"prefix":"10.1142","author":[{"given":"Javier","family":"Esparza","sequence":"first","affiliation":[{"name":"Technische Universit\u00e4t M\u00fcnchen, Boltzmannstr. 3, 85748 Garching bei M\u00fcnchen, Germany"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"J\u00f6rg","family":"Kreiker","sequence":"additional","affiliation":[{"name":"Technische Universit\u00e4t M\u00fcnchen, Boltzmannstr. 3, 85748 Garching bei M\u00fcnchen, Germany"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"219","published-online":{"date-parts":[[2012,7,16]]},"container-title":["Modern Applications of Automata Theory"],"original-title":[],"language":"en","deposited":{"date-parts":[[2017,7,19]],"date-time":"2017-07-19T17:23:19Z","timestamp":1500484999000},"score":1,"resource":{"primary":{"URL":"http:\/\/www.worldscientific.com\/doi\/abs\/10.1142\/9789814271059_0012"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2012,7]]},"ISBN":["9789814271042","9789814271059"],"references-count":0,"alternative-id":["10.1142\/9789814271059_0012","10.1142\/7237"],"URL":"https:\/\/doi.org\/10.1142\/9789814271059_0012","relation":{},"subject":[],"published":{"date-parts":[[2012,7]]}}}