{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T00:34:22Z","timestamp":1725496462627},"publisher-location":"Berlin, Heidelberg","reference-count":16,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540668565"},{"type":"electronic","value":"9783540466741"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1999]]},"DOI":"10.1007\/3-540-46674-6_20","type":"book-chapter","created":{"date-parts":[[2007,11,29]],"date-time":"2007-11-29T10:50:17Z","timestamp":1196333417000},"page":"227-238","source":"Crossref","is-referenced-by-count":0,"title":["Faster Model Checking for Open Systems"],"prefix":"10.1007","author":[{"given":"Madhavan","family":"Mukund","sequence":"first","affiliation":[]},{"given":"K.","family":"Narayan Kumar","sequence":"additional","affiliation":[]},{"given":"Scott A.","family":"Smolka","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[1999,11,19]]},"reference":[{"key":"20_CR1","doi-asserted-by":"crossref","unstructured":"R. Alur, T.A. Henzinger, and O. Kupferman. Alternating-time temporal logic. In Proceedings of the 38th IEEE Symposium on the Foundations of Computer Science. IEEE Press, 1997.","DOI":"10.1109\/SFCS.1997.646098"},{"key":"20_CR2","series-title":"Lect Notes Comput Sci","first-page":"52","volume-title":"Proceedings of the Workshop on Logic of Programs","author":"E. M. Clarke","year":"1981","unstructured":"E. M. Clarke and E. A. Emerson. Design and synthesis of synchronization skeletons using branching-time temporal logic. In D. Kozen, editor, Proceedings of the Workshop on Logic of Programs, Yorktown Heights, volume 131 of Lecture Notes in Computer Science, pages 52\u201371. Springer-Verlag, 1981."},{"key":"20_CR3","doi-asserted-by":"publisher","first-page":"217","DOI":"10.1007\/BF01383968","volume":"6","author":"E. M. Clarke","year":"1995","unstructured":"E. M. Clarke, O. Grumberg, H. Hiraishi, S. Jha, D. E. Long, K. L. McMillan, and L. A. Ness. Verification of the Future+ cache coherence protocol. Formal Methods in System Design, 6:217\u2013232, 1995.","journal-title":"Formal Methods in System Design"},{"issue":"1","key":"20_CR4","doi-asserted-by":"publisher","first-page":"151","DOI":"10.1145\/4904.4999","volume":"33","author":"E. A. Emerson","year":"1986","unstructured":"E. A. Emerson and J. Y. Halpern. \u2018Sometime\u2019 and \u2018not never\u2019 revisited: On branching versus linear time temporal logic. Journal of the ACM, 33(1):151\u2013178, 1986.","journal-title":"Journal of the ACM"},{"key":"20_CR5","doi-asserted-by":"crossref","unstructured":"E.A. Emerson and C. Jutla. The complexity of tree automata and logics of programs. In Proceedings of the IEEE FOCS, 1988.","DOI":"10.1109\/SFCS.1988.21949"},{"key":"20_CR6","unstructured":"E.A. Emerson and C. Jutla. On simultaneously determinising and comple-menting !-automata. In Proceedings of the IEEE FOCS, 1989."},{"key":"20_CR7","doi-asserted-by":"crossref","unstructured":"David Harel. Dynamic logic. In Handbook of Philosophical Logic, Volume II. Reidel, 1984.","DOI":"10.1007\/978-94-009-6259-0_10"},{"issue":"5","key":"20_CR8","doi-asserted-by":"publisher","first-page":"279","DOI":"10.1109\/32.588521","volume":"23","author":"G. J. Holzmann","year":"1997","unstructured":"G. J. Holzmann. The model checker SPIN. IEEE Trans. on Software Engineering, 23(5):279\u2013295, 1997.","journal-title":"IEEE Trans. on Software Engineering"},{"key":"20_CR9","doi-asserted-by":"crossref","unstructured":"Orna Kupferman and Moshe Vardi. Module checking. In Proceedings of CAV\u201996, LNCS 1102. Springer-Verlag, 1996.","DOI":"10.1007\/3-540-61474-5_59"},{"key":"20_CR10","doi-asserted-by":"crossref","unstructured":"K. L. McMillan. Symbolic Model Checking. Kluwer Academic, 1993.","DOI":"10.1007\/978-1-4615-3190-6"},{"key":"20_CR11","doi-asserted-by":"crossref","unstructured":"R. Parikh. Propositional game logic. In Proceedings of 24th IEEE FOCS, pages 195\u2013200, 1983.","DOI":"10.1109\/SFCS.1983.47"},{"key":"20_CR12","doi-asserted-by":"crossref","unstructured":"A. Pnueli. The temporal logic of programs. In Proceedings of the IEEE Symposium on the Foundations of Computing Science. IEEE Press, 1976.","DOI":"10.1109\/SFCS.1977.32"},{"key":"20_CR13","first-page":"81","volume":"77","author":"P.J.G. Ramadge","year":"1989","unstructured":"P.J.G. Ramadge and W.M. Wonham. The control of discrete-event systems. IEEE Trans. on Control Theory, 77:81\u201398, 1989.","journal-title":"IEEE Trans. on Control Theory"},{"key":"20_CR14","doi-asserted-by":"crossref","unstructured":"S. Safra. On complexity of !-automata. In In the Proceedings of the 29th FOCS, 1988.","DOI":"10.1109\/SFCS.1988.21948"},{"key":"20_CR15","doi-asserted-by":"crossref","unstructured":"W. Thomas. Automata on infinite objects. In Handbook of Theoretical Computer Science, Volume B. Elsevier Science Publishers, 1990.","DOI":"10.1016\/B978-0-444-88074-1.50009-3"},{"key":"20_CR16","unstructured":"M. Vardi and P. Wolper. An automata-theoretic approach to automatic program verification. In Symposium on Logic in Computer Science (LICS\u2019 86), pages 332\u2013344, Cambridge, Massachusetts, June 1986. Computer Society Press."}],"container-title":["Lecture Notes in Computer Science","Advances in Computing Science \u2014 ASIAN\u201999"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-46674-6_20","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,5]],"date-time":"2019-05-05T04:56:24Z","timestamp":1557032184000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-46674-6_20"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1999]]},"ISBN":["9783540668565","9783540466741"],"references-count":16,"URL":"https:\/\/doi.org\/10.1007\/3-540-46674-6_20","relation":{},"ISSN":["0302-9743"],"issn-type":[{"type":"print","value":"0302-9743"}],"subject":[],"published":{"date-parts":[[1999]]}}}