{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,8,28]],"date-time":"2025-08-28T12:27:50Z","timestamp":1756384070668},"publisher-location":"Berlin, Heidelberg","reference-count":7,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540429852"},{"type":"electronic","value":"9783540456780"}],"license":[{"start":{"date-parts":[[2001,1,1]],"date-time":"2001-01-01T00:00:00Z","timestamp":978307200000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2001]]},"DOI":"10.1007\/3-540-45678-3_47","type":"book-chapter","created":{"date-parts":[[2007,11,15]],"date-time":"2007-11-15T16:12:14Z","timestamp":1195143134000},"page":"550-561","source":"Crossref","is-referenced-by-count":6,"title":["On Game-Theoretic Models of Networks"],"prefix":"10.1007","author":[{"given":"Hans L.","family":"Bodlaender","sequence":"first","affiliation":[]},{"given":"Michael J.","family":"Dinneen","sequence":"additional","affiliation":[]},{"given":"Bakhadyr","family":"Khoussainov","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2001,12,4]]},"reference":[{"issue":"1","key":"47_CR1","doi-asserted-by":"publisher","first-page":"114","DOI":"10.1145\/322234.322243","volume":"28","author":"A. K. Chandra","year":"1981","unstructured":"A. K. Chandra, D. C. Kozen, and L. J. Stockmeyer. Alternation. Journal of the ACM, 28(1):114\u2013133, January 1981.","journal-title":"Journal of the ACM"},{"doi-asserted-by":"crossref","unstructured":"M. J. Dinneen and B. Khoussainov. Update networks and their routing strategies. In Proceedings of the 26th International Workshop on Graph-Theoretic Concepts in Computer Science, WG2000, volume 1928 of Lecture Notes on Computer Science, pages 127\u2013136. Springer-Verlag, June 2000.","key":"47_CR2","DOI":"10.1007\/3-540-40064-8_13"},{"doi-asserted-by":"crossref","unstructured":"Y. Gurevich and L. Harrington. Trees, Automata, and Games, STOCS, 1982, pages 60\u201365.","key":"47_CR3","DOI":"10.1145\/800070.802177"},{"key":"47_CR4","series-title":"Lect Notes Comput Sci","doi-asserted-by":"publisher","first-page":"160","DOI":"10.1007\/BFb0031560","volume-title":"Hybrid Systems IV","author":"J. F. Knight","year":"1997","unstructured":"J. F. Knight and B. Luense. Control Theory, Modal Logic, and Games, In Hybrid Systems IV. Panos J. Antsaklis, Wolf Kohn, Anil Nerode, Shankar Sastry (Eds.), volume 1273 of Lecture Notes in Computer Science, pages 160\u2013173. Springer, 1997."},{"key":"47_CR5","doi-asserted-by":"publisher","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 finite graphs. Annals of Pure and Applied Logic, 65:149\u2013184, 1993.","journal-title":"Annals of Pure and Applied Logic"},{"key":"47_CR6","doi-asserted-by":"publisher","first-page":"203","DOI":"10.1016\/0168-0072(95)00032-1","volume":"78","author":"A. Nerode","year":"1996","unstructured":"A. Nerode, J. Remmel, and A. Yakhnis. McNaughton games and extracting strategies for concurrent programs. Annals of Pure and Applied Logic, 78:203\u2013242, 1996.","journal-title":"Annals of Pure and Applied Logic"},{"key":"47_CR7","first-page":"624","volume":"12","author":"A. Nerode","year":"1992","unstructured":"A. Nerode, A. Yakhnis, V. Yakhnis. Distributed concurrent programs as strategies in games. Logical methods(Ithaca, NY, 1992), pages 624\u2013653, Progr. Comput. Sci. Appl. Logic, 12, Birkhauser Boston, Boston, MA, 1993.","journal-title":"Logical methods"}],"container-title":["Lecture Notes in Computer Science","Algorithms and Computation"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-45678-3_47","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,4]],"date-time":"2019-05-04T13:18:09Z","timestamp":1556975889000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-45678-3_47"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2001]]},"ISBN":["9783540429852","9783540456780"],"references-count":7,"URL":"https:\/\/doi.org\/10.1007\/3-540-45678-3_47","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2001]]}}}