{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T23:44:02Z","timestamp":1725493442691},"publisher-location":"Berlin, Heidelberg","reference-count":18,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540664925"},{"type":"electronic","value":"9783540482420"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1999]]},"DOI":"10.1007\/3-540-48242-3_6","type":"book-chapter","created":{"date-parts":[[2007,7,16]],"date-time":"2007-07-16T16:28:09Z","timestamp":1184603289000},"page":"77-91","source":"Crossref","is-referenced-by-count":8,"title":["Model Checking Games for the Alternation-Free \u03bc-Calculus and Alternating Automata"],"prefix":"10.1007","author":[{"given":"Martin","family":"Leucker","sequence":"first","affiliation":[]}],"member":"297","reference":[{"key":"6_CR1","doi-asserted-by":"publisher","first-page":"19","DOI":"10.1016\/0304-3975(80)90069-9","volume":"10","author":"J.A. Brzozowski","year":"1980","unstructured":"J.A. Brzozowski and E. Leiss. On equations for regular languages, finite automata, and sequential networks. Theoret. Comp. Sci., 10:19\u201335, 1980.","journal-title":"Theoret. Comp. Sci."},{"key":"6_CR2","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","first-page":"142","DOI":"10.1007\/3-540-58179-0_50","volume-title":"Proceedings of the 6th International Conference on Computer-Aided Verification (CAV\u201994)","author":"O. Bernholtz","year":"1994","unstructured":"O. Bernholtz, M.Y. Vardi, and P. Wolper. An automata-theoretic approach to branching-time model checking. In D.L. Dill, editor, Proceedings of the 6th International Conference on Computer-Aided Verification (CAV\u201994), volume 818 of LNCS, pages 142\u2013155. Springer-Verlag, 1994."},{"issue":"1","key":"6_CR3","doi-asserted-by":"publisher","first-page":"114","DOI":"10.1145\/322234.322243","volume":"28","author":"A. K. Chandra","year":"1981","unstructured":"Ashok K. Chandra, Dexter C. Kozen, and Larry J. Stockmeyer. Alternation. Journal of the ACM, 28(1):114\u2013133, January 1981.","journal-title":"Journal of the ACM"},{"key":"6_CR4","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","first-page":"48","DOI":"10.1007\/3-540-55179-4_6","volume-title":"Proceedings of Computer Aided Verification (CAV\u2019 91)","author":"R. Cleaveland","year":"1992","unstructured":"R. Cleaveland and B. Steffen. A linear-time model-checking algorithm for the alternation-free modal mu-calculus. In Kim G. Larsen and Arne Skou, editors, Proceedings of Computer Aided Verification (CAV\u2019 91), volume 575 of LNCS, pages 48\u201358, Berlin, Germany, July 1992. Springer."},{"key":"6_CR5","unstructured":"E. M. Clarke and J. M. Wing. Formal methods: State of the art and future directions. Technical Report CMU-CS-96-178, Carnegie Mellon University (CMU), September 1996. URL: http:\/\/ftp:\/\/reports.adm.cs.cmu.edu\/usr\/anon\/1996\/CMU-CS-96-178.ps"},{"key":"6_CR6","doi-asserted-by":"crossref","unstructured":"M. Daniele, F. Giunchiglia, and M. Y. Vardi. Improved automata generation for linear temporal logic. In Proc. of 11th Inter. Conf. on Computer Aided Verification, CAV\u2019 99, 1999.","DOI":"10.1007\/3-540-48683-6_23"},{"key":"6_CR7","series-title":"Formal Models and Semantics","first-page":"996","volume-title":"Handbook of Theoretical Computer Science","author":"E. A. Emerson","year":"1990","unstructured":"E. A. Emerson. Temporal and modal logic. In J. van Leeuwen, editor, Handbook of Theoretical Computer Science, volume B: Formal Models and Semantics, chapter 14, pages 996\u20131072. Elsevier Science Publishers B.V.: Amsterdam, The Netherlands, New York, N.Y., 1990."},{"key":"6_CR8","doi-asserted-by":"publisher","first-page":"333","DOI":"10.1016\/0304-3975(82)90125-6","volume":"27","author":"D. Kozen","year":"1983","unstructured":"Dexter Kozen. Results on the prepositional mu-calculus. Theoretical Computer Science, 27:333\u2013354, December 1983.","journal-title":"Theoretical Computer Science"},{"key":"6_CR9","unstructured":"O. Kupferman, M.Y. Vardi, and P. Wolper. An automata-theoretic approach to branching-time model checking. Full version of CAV\u201994 paper, 1998, URL: http:\/\/www.cs.rice.edu\/~vardi\/papers\/cav94rj.ps.gz ."},{"key":"6_CR10","volume-title":"Tool Support for System Specification, Development, and Verification","author":"M. Lange","year":"1999","unstructured":"M. Lange, M. Leucker, T. Noll, and S. Tobies. Truth \u2014 a verification platform for concurrent systems. In Tool Support for System Specification, Development, and Verification, Advances in Computing Science. Springer-Verlag Wien New York, 1999."},{"key":"6_CR11","series-title":"Lect Notes Comput Sci","doi-asserted-by":"publisher","first-page":"85","DOI":"10.1007\/BFb0054166","volume-title":"Proceedings of 4th International Conference on Tools and algorithms for the construction and analysis of systems (TACAS\u201998)","author":"P. Stevens","year":"1998","unstructured":"Perdita Stevens and Colin Stirling. Practical model-checking using games. In B. Steffen, editor, Proceedings of 4th International Conference on Tools and algorithms for the construction and analysis of systems (TACAS\u201998), volume 1384 of LNCS, pages 85\u2013101, New York, NY, USA, 1998. Springer."},{"key":"6_CR12","doi-asserted-by":"crossref","first-page":"477","DOI":"10.1093\/oso\/9780198537618.003.0005","volume-title":"Handbook of Logic in Computer Science","author":"C. Stirling","year":"1992","unstructured":"Stirling, C. Modal and temporal logics. In Handbook of Logic in Computer Science, volume 2, pages 477\u2013563. Clarendon Press, Oxford, 1992."},{"key":"6_CR13","series-title":"Lect Notes Comput Sci","first-page":"1","volume-title":"Proceedings of the 6th International Conference on Concurrency Theory (CONCUR\u201995)","author":"C. Stirling","year":"1995","unstructured":"C. Stirling. Local model checking games. In Insup Lee and Scott A. Smolka, editors, Proceedings of the 6th International Conference on Concurrency Theory (CONCUR\u201995), volume 962 of LNCS, pages 1\u201311, Berlin, GER, August 1995. Springer."},{"key":"6_CR14","volume-title":"Notes for Mathfit Workshop on finite model theory","author":"C. Stirling","year":"1996","unstructured":"C. Stirling. Games for bisimulation and model checking, July 1996. Notes for Mathfit Workshop on finite model theory, University of Wales, Swansea, URL: http:\/\/www.dcs.ed.ac.uk\/home\/cps\/mfit.ps ."},{"key":"6_CR15","unstructured":"C. Stirling. Games for bisimulation and model checking, June 1997. Notes for Mathfit instructional meeting on games and computation, Edinburgh, URL: http:\/\/www.dcs.ed.ac.uk\/home\/cps\/mathfit.ps ."},{"key":"6_CR16","doi-asserted-by":"crossref","unstructured":"Wolfgang Thomas. Automata on infinite objects. In J. van Leeuwen, editor, Handbook of Theoretical Computer Science, chapter 4, pages 133\u2013191. Elsevier Science Publishers B. V., 1990.","DOI":"10.1016\/B978-0-444-88074-1.50009-3"},{"key":"6_CR17","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","first-page":"238","DOI":"10.1007\/3-540-60915-6_6","volume-title":"An Automata-Theoretic Approach to Linear Temporal Logic","author":"M. Y. Vardi","year":"1996","unstructured":"Moshe Y. Vardi. An Automata-Theoretic Approach to Linear Temporal Logic, volume 1043 of LNCS, pages 238\u2013266. Springer, 1996."},{"key":"6_CR18","unstructured":"M. Y. Vardi and P. Wolper. An automata-theoretic approach to automatic program verification. In Symposium on Logic in Computer Science (LICS\u2019 86), pages 332-345, Washington, D.C., USA, June 1986. IEEE Computer Society Press."}],"container-title":["Lecture Notes in Computer Science","Logic for Programming and Automated Reasoning"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-48242-3_6","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,2,16]],"date-time":"2024-02-16T18:48:05Z","timestamp":1708109285000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-48242-3_6"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1999]]},"ISBN":["9783540664925","9783540482420"],"references-count":18,"URL":"https:\/\/doi.org\/10.1007\/3-540-48242-3_6","relation":{},"ISSN":["0302-9743"],"issn-type":[{"type":"print","value":"0302-9743"}],"subject":[],"published":{"date-parts":[[1999]]}}}