{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,11]],"date-time":"2025-10-11T17:09:19Z","timestamp":1760202559212},"publisher-location":"Berlin, Heidelberg","reference-count":9,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540405610"},{"type":"electronic","value":"9783540450894"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2003]]},"DOI":"10.1007\/3-540-45089-0_3","type":"book-chapter","created":{"date-parts":[[2007,10,27]],"date-time":"2007-10-27T07:27:35Z","timestamp":1193470055000},"page":"11-22","source":"Crossref","is-referenced-by-count":32,"title":["Symbolic Synthesis of Finite-State Controllers for Request-Response Specifications"],"prefix":"10.1007","author":[{"given":"Nico","family":"Wallmeier","sequence":"first","affiliation":[]},{"given":"Patrick","family":"H\u00fctten","sequence":"additional","affiliation":[]},{"given":"Wolfgang","family":"Thomas","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2003,6,24]]},"reference":[{"key":"3_CR1","volume-title":"Model Checking","author":"E. Clarke","year":"1999","unstructured":"E. Clarke, O. Grumberg, and D. Peled. Model Checking. The MIT Press, Cambridge, Massachusetts, 1999."},{"key":"3_CR2","unstructured":"J. Lind-Nielsen. Buddy-\n                    http:\/\/www.it-c.dk\/research\/buddy\/"},{"key":"3_CR3","unstructured":"H. Melcher. Hierarchische kompositionale Synthese von Steuerungen f\u00fcr reaktive Systeme. PhD thesis, Uni Karlsruhe, 2001."},{"key":"3_CR4","unstructured":"D. Perrin and J.-E. Pin. Infinite Words (to appear). Elsevier, \n                    http:\/\/www.liafa.jussieu.fr\/~jep\/Resumes\/InfiniteWords.html\n                    \n                  , 2003."},{"key":"3_CR5","unstructured":"D. Schmitz and J. V\u00f6ge. Implementation of a strategy improvement algorithm for parity games. In Proceedings of the 5th International Conference on the Implementation and Application of Automata, CIAA 2000, pages 45\u201351, 2000."},{"key":"3_CR6","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1007\/3-540-49538-X_1","volume":"900","author":"W. Thomas","year":"1995","unstructured":"W. Thomas. On the synthesis of strategies in infinite games. Lecture Notes in Computer Science, 900:1\u201313, 1995.","journal-title":"Lecture Notes in Computer Science"},{"key":"3_CR7","doi-asserted-by":"crossref","first-page":"389","DOI":"10.1007\/978-3-642-59126-6_7","volume-title":"Handbook of Formal Languages","author":"W. Thomas","year":"1997","unstructured":"W. Thomas. Languages, automata, and logic. In G. Rozenberg and A. Salomaa, editors, Handbook of Formal Languages, volume III, pages 389\u2013455. Springer, New York, 1997."},{"key":"3_CR8","series-title":"Lect Notes Comput Sci","doi-asserted-by":"publisher","first-page":"58","DOI":"10.1007\/3-540-45657-0_5","volume-title":"Proceedings of the International Conference on Computer Aided Verification CAV\u201902","author":"W. Thomas","year":"2002","unstructured":"W. Thomas. Infinite games and verification. In Proceedings of the International Conference on Computer Aided Verification CAV\u201902, volume 2404 of Lecture Notes in Computer Science, pages 58\u201364. Springer, 2002."},{"key":"3_CR9","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","first-page":"202","DOI":"10.1007\/10722167_18","volume-title":"Proceedings of the 12th International Conference on Computer Aided Verification, CAV 2000","author":"J. V\u00f6ge","year":"2000","unstructured":"J. V\u00f6ge and M. Jurdzi\u0144ski. A discrete strategy improvement algorithm for solving parity games. In Proceedings of the 12th International Conference on Computer Aided Verification, CAV 2000, volume 1855 of Lecture Notes in Computer Science, pages 202\u2013215. Springer, 2000."}],"container-title":["Lecture Notes in Computer Science","Implementation and Application of Automata"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-45089-0_3","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,2,24]],"date-time":"2019-02-24T15:53:56Z","timestamp":1551023636000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-45089-0_3"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2003]]},"ISBN":["9783540405610","9783540450894"],"references-count":9,"URL":"https:\/\/doi.org\/10.1007\/3-540-45089-0_3","relation":{},"ISSN":["0302-9743"],"issn-type":[{"type":"print","value":"0302-9743"}],"subject":[],"published":{"date-parts":[[2003]]}}}