{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,10]],"date-time":"2025-10-10T07:20:18Z","timestamp":1760080818590,"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\/10","type":"book-chapter","created":{"date-parts":[[2023,6,22]],"date-time":"2023-06-22T13:00:38Z","timestamp":1687438838000},"page":"1189-1215","source":"Crossref","is-referenced-by-count":1,"title":["Symbolic methods and automata"],"prefix":"10.4171","author":[{"given":"Bernard","family":"Boigelot","sequence":"first","affiliation":[{"name":"Universit\u00e9 de Li\u00e8ge, Belgium"}],"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:09Z","timestamp":1729536549000},"score":1,"resource":{"primary":{"URL":"https:\/\/ems.press\/doi\/10.4171\/automata-2\/10"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2021,9,13]]},"ISBN":["9783985470037","9783985475032"],"references-count":0,"URL":"https:\/\/doi.org\/10.4171\/automata-2\/10","relation":{},"subject":[],"published":{"date-parts":[[2021,9,13]]}}}