{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T23:18:09Z","timestamp":1725664689459},"publisher-location":"Berlin, Heidelberg","reference-count":15,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540630456"},{"type":"electronic","value":"9783540690658"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1997]]},"DOI":"10.1007\/3-540-63045-7_28","type":"book-chapter","created":{"date-parts":[[2012,2,26]],"date-time":"2012-02-26T23:00:20Z","timestamp":1330297220000},"page":"276-282","source":"Crossref","is-referenced-by-count":0,"title":["Interpretation of the full computation tree logic CTL* on sets of infinite sequences"],"prefix":"10.1007","author":[{"given":"Ulrich","family":"Nitsche","sequence":"first","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2005,6,25]]},"reference":[{"key":"28_CR1","volume-title":"Studienb\u00fccher Informatik","author":"J. Berstel","year":"1979","unstructured":"J. Berstel. Transductions and Context-Free Languages. Studienb\u00fccher Informatik. Teubner Verlag, Stuttgart, first edition, 1979.","edition":"first edition"},{"key":"28_CR2","doi-asserted-by":"crossref","unstructured":"E. M. Clarke and E. A. Emerson. Design and synthesis of synchronization skeletons using branching-time temporal logic. In D. Kozen, editor, Logic of Programs 1981, volume 131 of Lecture Notes in Computer Science, pages 52\u201371. Springer Verlag, 1982.","DOI":"10.1007\/BFb0025774"},{"issue":"2","key":"28_CR3","doi-asserted-by":"crossref","first-page":"244","DOI":"10.1145\/5397.5399","volume":"8","author":"E. M. Clarke","year":"1986","unstructured":"E. M. Clarke, E. A. Emerson, and A. P. Sistla. Automatic verification of finite-state concurrent systems using temporal logic specifications. ACM Transactions on Programming Languages and Systems, 8(2):244\u2013263, 1986.","journal-title":"ACM Transactions on Programming Languages and Systems"},{"key":"28_CR4","volume-title":"Automata, Languages and Machines, volume A","author":"S. Eilenberg","year":"1974","unstructured":"S. Eilenberg. Automata, Languages and Machines, volume A. Academic Press, New York, 1974."},{"key":"28_CR5","doi-asserted-by":"crossref","unstructured":"E. A. Emerson. Temporal and modal logic. In van Leeuwen [15], pages 995\u20131072.","DOI":"10.1016\/B978-0-444-88074-1.50021-4"},{"key":"28_CR6","volume-title":"Introduction to Formal Language Theory","author":"M. A. Harrison","year":"1978","unstructured":"M. A. Harrison. Introduction to Formal Language Theory. Addison-Wesley, Reading, Mass., first edition, 1978.","edition":"first edition"},{"key":"28_CR7","volume-title":"Introduction to Automata Theory, Languages and Computation","author":"J. E. Hopcroft","year":"1979","unstructured":"J. E. Hopcroft and J. D. Ullman. Introduction to Automata Theory, Languages and Computation. Addison-Wesley, Reading, Mass., first edition, 1979.","edition":"first edition"},{"key":"28_CR8","first-page":"75","volume-title":"volume 1102 of Lecture Notes in Computer Science","author":"O. Kupferman","year":"1996","unstructured":"O. Kupferman and M. Y. Vardi. Module checking. In R. Alur and T. A. Henzinger, editors, CAV'96, volume 1102 of Lecture Notes in Computer Science, pages 75\u201386, New Brunswick, N.J., 1996. Springer Verlag."},{"key":"28_CR9","volume-title":"Computer-Aided Verification of Coordinating Processes","author":"R. P. Kurshan","year":"1994","unstructured":"R. P. Kurshan. Computer-Aided Verification of Coordinating Processes. Princeton University Press, Princeton, New Jersey, first edition, 1994.","edition":"first edition"},{"key":"28_CR10","volume-title":"PhD thesis","author":"U. Nitsche","year":"1996","unstructured":"U. Nitsche. Verification of Co-Operating Systems and Behaviour Abstraction. PhD thesis, University of Frankfurt, Germany. handed in 1996."},{"key":"28_CR11","series-title":"volume 813 of Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"265","DOI":"10.1007\/3-540-58140-5_26","volume-title":"Logical Foundations of Computer Science '94","author":"U. Nitsche","year":"1994","unstructured":"U. Nitsche. Propositional linear temporal logic and language homomorphisms. In A. Nerode and Y. V. Matiyasevich, editors, Logical Foundations of Computer Science '94, St. Petersburg, volume 813 of Lecture Notes in Computer Science, pages 265\u2013277. Springer Verlag, 1994."},{"key":"28_CR12","first-page":"393","volume-title":"A verification method based on homomorphic model abstraction","author":"U. Nitsche","year":"1994","unstructured":"U. Nitsche. A verification method based on homomorphic model abstraction. In Proceedings of the 13th Annual ACM Symposium on Principles of Distributed Computing, page 393, Los Angeles, 1994. ACM Press."},{"issue":"3","key":"28_CR13","doi-asserted-by":"crossref","first-page":"273","DOI":"10.1016\/0164-1212(96)00026-X","volume":"33","author":"U. Nitsche","year":"1996","unstructured":"U. Nitsche. Verification and behavior abstraction \u2014 towards a tractable verification technique for large distributed systems. Journal of Systems and Software, 33(3):273\u2013285, June 1996.","journal-title":"Journal of Systems and Software"},{"key":"28_CR14","doi-asserted-by":"crossref","unstructured":"W. Thomas. Automata on infinite objects. In van Leeuwen [15], pages 133\u2013191.","DOI":"10.1016\/B978-0-444-88074-1.50009-3"},{"key":"28_CR15","unstructured":"J. van Leeuwen, editor. Formal Models and Semantics, volume B of Handbook of Theoretical Computer Science. Elsevier, 1990."}],"container-title":["Lecture Notes in Computer Science","Logical Foundations of Computer Science"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-63045-7_28.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,17]],"date-time":"2020-11-17T21:15:15Z","timestamp":1605647715000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-63045-7_28"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1997]]},"ISBN":["9783540630456","9783540690658"],"references-count":15,"URL":"https:\/\/doi.org\/10.1007\/3-540-63045-7_28","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1997]]}}}