{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T17:50:39Z","timestamp":1725558639484},"publisher-location":"Berlin, Heidelberg","reference-count":15,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540203032"},{"type":"electronic","value":"9783540396567"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2003]]},"DOI":"10.1007\/978-3-540-39656-7_20","type":"book-chapter","created":{"date-parts":[[2010,6,29]],"date-time":"2010-06-29T18:35:52Z","timestamp":1277836552000},"page":"467-486","source":"Crossref","is-referenced-by-count":0,"title":["Games for UML Software Design"],"prefix":"10.1007","author":[{"given":"Perdita","family":"Stevens","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Jennifer","family":"Tenzer","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"20_CR1","doi-asserted-by":"publisher","first-page":"279","DOI":"10.1109\/LICS.2001.932504","volume-title":"Proceedings of the 16th Annual Symposium on Logic in Computer Science (LICS)","author":"L. Alfaro de","year":"2001","unstructured":"de Alfaro, L., Henzinger, T.A., Majumdar, R.: From verification to control: Dynamic programs for omega-regular objectives. In: Proceedings of the 16th Annual Symposium on Logic in Computer Science (LICS), pp. 279\u2013290. IEEE Computer Society Press, Los Alamitos (2001)"},{"key":"20_CR2","unstructured":"Fraenkel, A.S.: Selected bibliography on combinatorial games and some related material. The Electronic Journal of Combinatorics, DS2 (2002), Available from \n                  \n                    http:\/\/www.combinatorics.org\/Surveys\/ds2.ps"},{"key":"20_CR3","series-title":"Electronic Notes in Theoretical Computer Science","volume-title":"Proceedings of WOLLIC 2002","author":"E. Gr\u00e4del","year":"2002","unstructured":"Gr\u00e4del, E.: Model checking games. In: Proceedings of WOLLIC 2002. Electronic Notes in Theoretical Computer Science, vol.\u00a067. Elsevier, Amsterdam (2002)"},{"issue":"1","key":"20_CR4","doi-asserted-by":"crossref","first-page":"53","DOI":"10.1109\/2.895118","volume":"34","author":"D. Harel","year":"2001","unstructured":"Harel, D.: From play-in scenarios to code: An achievable dream. IEEE Computer\u00a034(1), 53\u201360 (2001)","journal-title":"IEEE Computer"},{"key":"20_CR5","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"378","DOI":"10.1007\/3-540-36126-X_23","volume-title":"Formal Methods in Computer-Aided Design","author":"D. Harel","year":"2002","unstructured":"Harel, D., Kugler, H., Marelly, R., Pnueli, A.: Smart play-out of behavioral requirements. In: Aagaard, M.D., O\u2019Leary, J.W. (eds.) FMCAD 2002. LNCS, vol.\u00a02517, pp. 378\u2013398. Springer, Heidelberg (2002)"},{"key":"20_CR6","series-title":"Encyclopedia of Mathematics","doi-asserted-by":"publisher","DOI":"10.1017\/CBO9780511551574","volume-title":"Model theory","author":"W. Hodges","year":"1993","unstructured":"Hodges, W.: Model theory. Encyclopedia of Mathematics, vol.\u00a042. Cambridge University Press, Cambridge (1993)"},{"key":"20_CR7","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"92","DOI":"10.1007\/3-540-44618-4_9","volume-title":"CONCUR 2000 - Concurrency Theory","author":"O. Kupferman","year":"2000","unstructured":"Kupferman, O., Madhusudan, P., Thiagarajan, P.S., Vardi, M.Y.: Open systems in reactive enfironments: control and synthesis. In: Palamidessi, C. (ed.) CONCUR 2000. LNCS, vol.\u00a01877, pp. 92\u2013107. Springer, Heidelberg (2000)"},{"key":"20_CR8","volume-title":"Proceedings of the 16th Annual IEEE Symposium on Logic in Computer Science (LICS 2001)","author":"O. Kupferman","year":"2001","unstructured":"Kupferman, O., Vardi, M.Y.: Synthesising distributed systems. In: Proceedings of the 16th Annual IEEE Symposium on Logic in Computer Science (LICS 2001). IEEE Computer Society, Los Alamitos (June 2001)"},{"issue":"1-2","key":"20_CR9","doi-asserted-by":"publisher","first-page":"117","DOI":"10.1016\/S0304-3975(00)00307-8","volume":"274","author":"P. Madhusudan","year":"2002","unstructured":"Madhusudan, P., Thiagarajan, P.S.: Branching time controllers for discrete event systems. Theoretical Computer Science\u00a0274(1-2), 117\u2013149 (2002)","journal-title":"Theoretical Computer Science"},{"key":"20_CR10","unstructured":"OMG. Unified Modeling Language Specification version 1.4 (September 2001), OMG document formal\/01-09-67 available from \n                  \n                    http:\/\/www.omg.org\/technology\/documents\/formal\/uml.htm"},{"key":"20_CR11","unstructured":"Stevens, P.: Abstract interpretations of games. In: Proc. 2nd International Workshop on Verification, Model Checking and Abstract Interpretation, VMCAI 1998. Venezia TR, vol.\u00a0CS98-12 (1998)"},{"key":"20_CR12","volume-title":"Notes for Mathfit Workshop on finite model theory","author":"C. Stirling","year":"1996","unstructured":"Stirling, C.: Model checking and other games. In: Notes for Mathfit Workshop on finite model theory. University of Wales, Swansea (July 1996)"},{"key":"20_CR13","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"135","DOI":"10.1007\/3-540-36578-8_10","volume-title":"Fundamental Approaches to Software Engineering","author":"J. Tenzer","year":"2003","unstructured":"Tenzer, J., Stevens, P.: Modelling recursive calls with UML state diagrams. In: Pezz\u00e9, M. (ed.) FASE 2003. LNCS, vol.\u00a02621, pp. 135\u2013149. Springer, Heidelberg (2003)"},{"key":"20_CR14","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1007\/3-540-60275-5","volume-title":"STACS 95","author":"W. Thomas","year":"1995","unstructured":"Thomas, W.: On the synthesis of strategies in infinite games. In: Mayr, E.W., Puech, C. (eds.) STACS 1995. LNCS, vol.\u00a0900, pp. 1\u201313. Springer, Heidelberg (1995)"},{"key":"20_CR15","volume-title":"Theory of Games and Economic Behavior","author":"J. Neumann von","year":"1953","unstructured":"von Neumann, J., Morgenstern, O.: Theory of Games and Economic Behavior, 3rd edn. Princeton University Press, Princeton (1953)","edition":"3"}],"container-title":["Lecture Notes in Computer Science","Formal Methods for Components and Objects"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-39656-7_20","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,3,15]],"date-time":"2019-03-15T06:05:40Z","timestamp":1552629940000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-39656-7_20"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2003]]},"ISBN":["9783540203032","9783540396567"],"references-count":15,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-39656-7_20","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2003]]}}}