{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T23:09:36Z","timestamp":1725664176362},"publisher-location":"Berlin, Heidelberg","reference-count":15,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540600459"},{"type":"electronic","value":"9783540494133"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1995]]},"DOI":"10.1007\/3-540-60045-0_54","type":"book-chapter","created":{"date-parts":[[2012,2,26]],"date-time":"2012-02-26T17:36:41Z","timestamp":1330277801000},"page":"239-252","source":"Crossref","is-referenced-by-count":6,"title":["On polynomial-size programs winning finite-state games"],"prefix":"10.1007","author":[{"given":"Helmut","family":"Lescow","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2005,5,31]]},"reference":[{"key":"20_CR1","series-title":"volume 372 of LNCS","first-page":"1","volume-title":"Automata, Languages, and Programming","author":"M. Abadi","year":"1989","unstructured":"M. Abadi, L. Lamport, and P. Wolper. Realizable and unrealizable specifications of reactive systems. In G. Ausiello et al., editor, Automata, Languages, and Programming, volume 372 of LNCS, pages 1\u201317, Berlin, Heidelberg, New York, 1989. Springer-Verlag."},{"key":"20_CR2","doi-asserted-by":"crossref","first-page":"295","DOI":"10.1090\/S0002-9947-1969-0280205-0","volume":"138","author":"J. R. B\u00fcchi","year":"1969","unstructured":"J. R. B\u00fcchi and L. H. Landweber. Solving sequential conditions by finitestate strategies. Trans. Amer. Math. Soc., 138:295\u2013311, 1969.","journal-title":"Trans. Amer. Math. Soc."},{"key":"20_CR3","doi-asserted-by":"crossref","first-page":"1171","DOI":"10.2307\/2273681","volume":"48","author":"J. R. B\u00fcchi","year":"1983","unstructured":"J. R. B\u00fcchi. State strategies for games in F \u03c3\u03b4\u2229G \u03b4\u03c3. J. Symb. Logic, 48:1171\u20131198, 1983.","journal-title":"J. Symb. Logic"},{"key":"20_CR4","doi-asserted-by":"crossref","unstructured":"E.A. Emerson and C.S. Jutla. Tree automata, mu-calculus and determinacy. In Proc. 32nd IEEE Symp. on the Foundations of Computing, pages 368\u2013377, 1991.","DOI":"10.1109\/SFCS.1991.185392"},{"key":"20_CR5","doi-asserted-by":"crossref","first-page":"79","DOI":"10.1007\/3-540-15648-8_7","volume-title":"Logics of Programs, volume 803 of LNCS","author":"E. A. Emerson","year":"1985","unstructured":"E. A. Emerson. Automat, tableaux, and temporal logics. In G. Goos and J. Hartmanis, editors, Logics of Programs, volume 803 of LNCS, pages 79\u201388, Berlin, Heidelberg, New York, 1985. Springer-Verlag."},{"key":"20_CR6","doi-asserted-by":"crossref","unstructured":"Y. Gurevich and L. Harrinton. Trees, automata, and games. In Proc 14th ACM Symp. on the Theory of computing, pages 60\u201365, San Fancisco, 1982.","DOI":"10.1145\/800070.802177"},{"key":"20_CR7","first-page":"243","volume":"69","author":"N. Klarlund","year":"1994","unstructured":"N. Klarlund. Progress measures, immediate determinacy, and a subset construction for tree automata. Ann. Pure and Appl. Math., 69:243\u2013268, 1994.","journal-title":"Ann. Pure and Appl. Math."},{"key":"20_CR8","doi-asserted-by":"crossref","first-page":"376","DOI":"10.1007\/BF01691063","volume":"3","author":"L. H. Landweber","year":"1969","unstructured":"L. H. Landweber. Decision problems for \u03c9-automata. Mathematical Systems Theory, 3:376\u2013384, 1969.","journal-title":"Mathematical Systems Theory"},{"key":"20_CR9","doi-asserted-by":"crossref","first-page":"149","DOI":"10.1016\/0168-0072(93)90036-D","volume":"65","author":"R. McNaughton","year":"1993","unstructured":"R. McNaughton. Infinite games played on infinite graphs. Ann. Pure Appl Logic, 65:149\u2013184, 1993.","journal-title":"Ann. Pure Appl Logic"},{"key":"20_CR10","doi-asserted-by":"crossref","first-page":"229","DOI":"10.1007\/3-540-59042-0_76","volume-title":"STACS 95","author":"O. Maler","year":"1995","unstructured":"O. Maler, A. Pnueli, and J. Sifakis. On the synthesis of discrete controllers for timed-systems. In Ernst W. Mayr and Claude Puech, editors, STACS 95, pages 229\u2013242, Berlin, Heidelberg, New-York, 1995. Springer-Verlag."},{"key":"20_CR11","doi-asserted-by":"crossref","unstructured":"A. Pnueli and R. Rosner. On the systhesis of a reactive module. In Proc. 16th ACM Sympos. on Principles of Prog. Lang., pages 179\u2013190, Austin, 1989.","DOI":"10.1145\/75277.75293"},{"key":"20_CR12","unstructured":"S. Seibert. PhD thesis, University of Kiel, 1995. (in preparation)."},{"key":"20_CR13","first-page":"131","volume-title":"Handbook of Theoretical Computer Science, volume B","author":"W. Thomas","year":"1990","unstructured":"W. Thomas. Automata on infinite objects. In J. van Leeuwen, editor, Handbook of Theoretical Computer Science, volume B, chapter 4, pages 131\u2013191. North-Holland, Amsterdam, 1990."},{"key":"20_CR14","first-page":"1","volume-title":"STACS 95","author":"W. Thomas","year":"1995","unstructured":"W. Thomas. On effective strategies in infinite games. In Ernst W. Mayr and Claude Puech, editors, STACS 95, pages 1\u201313, Berlin, Heidelberg, New-York, 1995. Springer-Verlag."},{"key":"20_CR15","unstructured":"W. Zielonka. Infinite games on finitely coloured graphs with some applications. Manuscript, 1994."}],"container-title":["Lecture Notes in Computer Science","Computer Aided Verification"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-60045-0_54.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,17]],"date-time":"2020-11-17T21:28:54Z","timestamp":1605648534000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-60045-0_54"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1995]]},"ISBN":["9783540600459","9783540494133"],"references-count":15,"URL":"https:\/\/doi.org\/10.1007\/3-540-60045-0_54","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1995]]}}}