{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,11]],"date-time":"2025-10-11T17:10:31Z","timestamp":1760202631431},"publisher-location":"Berlin, Heidelberg","reference-count":18,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540176602"},{"type":"electronic","value":"9783540477464"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1987]]},"DOI":"10.1007\/3-540-17660-8_60","type":"book-chapter","created":{"date-parts":[[2012,2,25]],"date-time":"2012-02-25T19:17:02Z","timestamp":1330197422000},"page":"256-270","source":"Crossref","is-referenced-by-count":9,"title":["Characterizing Kripke structures in temporal logic"],"prefix":"10.1007","author":[{"given":"M. C.","family":"Browne","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"E. M.","family":"Clarke","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"O.","family":"Gr\u00fcmberg","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2005,6,3]]},"reference":[{"key":"18_CR1","doi-asserted-by":"publisher","first-page":"207","DOI":"10.1007\/BF01257083","volume":"20","author":"M. Ben-Ari","year":"1983","unstructured":"M. Ben-Ari, A. Pneuli, Z. Manna. \"The Temporal Logic of Branching Time\". Acta Informatica 20 (1983), 207\u2013226.","journal-title":"Acta Informatica"},{"key":"18_CR2","unstructured":"E.M. Clarke, E.A. Emerson. Design and Synthesis of Synchronization Skeletons using Branching Time Temporal Logic. Proceedings of the Workshop on Logic of Programs, Yorktown-Heights, NY, Lecture Notes in Computer Science #131, 1981."},{"key":"18_CR3","doi-asserted-by":"crossref","unstructured":"E.M. Clarke, E.A. Emerson, A.P. Sistla. Automatic Verification of Finite-State Concurrent Systems using Temporal Logic Specifications: A Practical Approach. Tenth ACM Symposium on Principles of Programming Languages, Austin, Texas, 1983, pp. 117\u2013126.","DOI":"10.1145\/567067.567080"},{"key":"18_CR4","doi-asserted-by":"crossref","unstructured":"E.A. Emerson, J.Y. Halpern. \"Sometimes\" and \"Not Never\" Revisited: On Branching versus Linear Time Temporal Logic. Proceedings of the ACM Symposium on Principles of Programming Languages, Association for Computing Machinery, Austin, Texas, January, 1982. to appear in JACM.","DOI":"10.1145\/567067.567081"},{"key":"18_CR5","doi-asserted-by":"crossref","unstructured":"E. A. Emerson and P. Sistla. Deciding Full Branching-time Logic. The Sixteenth Annual ACM Symposium on Theory of Computing, Association for Computing Machinery, Washington, D.C., May, 1984.","DOI":"10.1145\/800057.808661"},{"key":"18_CR6","doi-asserted-by":"crossref","unstructured":"S. Graf and J. Sifakis. From Synchronization Tree Logic to Acceptance Model Logic. LNCS Vol. 193, Logics of Programs, 1985.","DOI":"10.1007\/3-540-15648-8_11"},{"key":"18_CR7","doi-asserted-by":"crossref","unstructured":"M. Hennessy and R. Milner. On Observing Nondeterminism and Concurrency. LNCS Vol. 85, 7th ICALP, 1980.","DOI":"10.1007\/3-540-10003-2_79"},{"key":"18_CR8","unstructured":"G.E. Hughes and M.J. Creswell. An Introduction to Modal Logic. Methuen and Co., 1977."},{"key":"18_CR9","doi-asserted-by":"crossref","unstructured":"L. Lamport. \"Sometimes\" is Sometimes \"Not Never\". Seventh Annual ACM Symposium on Principles of Programming Languages, Association for Computing Machinery, Las Vegas, January, 1980, pp. 174\u2013185.","DOI":"10.1145\/567446.567463"},{"key":"18_CR10","unstructured":"L. Lamport. What Good is Temporal Logic? Proceedings of the International Federation for Information Processing, 1983, pp. 657\u2013668."},{"key":"18_CR11","doi-asserted-by":"crossref","unstructured":"O. Lichtenstein and A. Pnucli. Checking that Finite State Concurrent Programs Satisfy Their Linear Specification. Conference Record of the Twelth Annual ACM Symposium on Principles of Programming Languages, New Orleans, La., January, 1985.","DOI":"10.1145\/318593.318622"},{"key":"18_CR12","doi-asserted-by":"crossref","unstructured":"R. Milner. Lecture Notes in Computer Science. Volume 92: A Calculus of Communicating Systems. Springer-Verlag, 1979.","DOI":"10.1007\/3-540-10235-3"},{"key":"18_CR13","doi-asserted-by":"publisher","first-page":"269","DOI":"10.1016\/0304-3975(85)90223-3","volume":"38","author":"B. Mishra","year":"1985","unstructured":"B. Mishra and E. Clarke. \"Hierarchical Verification of Asynchronous Circuits using Temporal Logic\", Theoretical Computer Science 38 (1985), 269\u2013291.","journal-title":"Theoretical Computer Science"},{"key":"18_CR14","doi-asserted-by":"publisher","first-page":"68","DOI":"10.1145\/357233.357237","volume":"6","author":"Z. Manna","year":"1984","unstructured":"Z. Manna, P. Wolper. \"Synthesis of Communicating Processes from Temporal Logic Specifications\". ACM Transactions on Programming Languages and Systems 6 (1984), 68\u201393.","journal-title":"ACM Transactions on Programming Languages and Systems"},{"key":"18_CR15","doi-asserted-by":"crossref","unstructured":"A. Pnueli. Linear and Branching Structures in the Semantics and Logics of Reactive Systems. Proceedings of the 12th ICALP, 1985.","DOI":"10.1007\/BFb0015727"},{"issue":"3","key":"18_CR16","doi-asserted-by":"crossref","first-page":"733","DOI":"10.1145\/3828.3837","volume":"32","author":"A.P. Sistla","year":"1985","unstructured":"A.P. Sistla, E.M. Clarke, \"Complexity of Propositional Linear Temporal Logics\". Journal of the Association for Computing Machinery 32, 3 (July 1985), 733\u2013749.","journal-title":"Journal of the Association for Computing Machinery"},{"key":"18_CR17","unstructured":"M.Y. Vardi, P. Wolper. An automata-theoretic approach to automatic program verification. Logic In Computer Science, Cambridge, Massachusetts, June, 1986."},{"key":"18_CR18","doi-asserted-by":"crossref","unstructured":"P. Wolper. Specification and Synthesis of Communicating Processes Using an Extended Temporal Logic. Ninth Annual ACM Symposium on Principles of Programming Languages, Association for Computing Machinery, Albuquerque, New Mexico, January, 1982, pp. 20\u201333.","DOI":"10.1145\/582153.582156"}],"container-title":["Lecture Notes in Computer Science","TAPSOFT '87"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-17660-8_60.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,12,31]],"date-time":"2021-12-31T01:57:45Z","timestamp":1640915865000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-17660-8_60"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1987]]},"ISBN":["9783540176602","9783540477464"],"references-count":18,"URL":"https:\/\/doi.org\/10.1007\/3-540-17660-8_60","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1987]]}}}