{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,8,6]],"date-time":"2025-08-06T12:54:24Z","timestamp":1754484864153},"publisher-location":"Berlin, Heidelberg","reference-count":12,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540581796"},{"type":"electronic","value":"9783540484691"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1994]]},"DOI":"10.1007\/3-540-58179-0_65","type":"book-chapter","created":{"date-parts":[[2012,2,26]],"date-time":"2012-02-26T15:25:35Z","timestamp":1330269935000},"page":"324-337","source":"Crossref","is-referenced-by-count":15,"title":["Formula-dependent equivalence for compositional CTL model checking"],"prefix":"10.1007","author":[{"given":"Adnan","family":"Aziz","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Thomas R.","family":"Shiple","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Vigyan","family":"Singhal","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Alberto L.","family":"Sangiovanni-Vincentelli","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2005,6,7]]},"reference":[{"key":"27_CR1","volume-title":"Technical Report UCB\/ERL M93\/52","author":"A. Aziz","year":"1993","unstructured":"A. Aziz and R. K. Brayton. Verifying interacting finite state machines. Technical Report UCB\/ERL M93\/52, Electronics Research Laboratory, College of Engineering, University of California, Berkeley, July 1993."},{"key":"27_CR2","volume-title":"Technical report","author":"A. Aziz","year":"1994","unstructured":"A. Aziz, T. R. Shiple, V. Singhal, R. K. Brayton, and A. L. Sangiovanni-Vincentelli. Formula-dependent equivalence for compositional CTL model checking. Technical report, Electronics Research Laboratory, College of Engineering, University of California, Berkeley, 1994."},{"issue":"3","key":"27_CR3","doi-asserted-by":"publisher","first-page":"247","DOI":"10.1016\/0167-6423(92)90018-7","volume":"18","author":"A. Bouajjani","year":"1992","unstructured":"A. Bouajjani, J.-C. Fernandez, N. Halbwachs, P. Raymond, and C. Ratel. Minimal state graph generation. Science of Computer Programming, 18(3):247\u2013271, 1992.","journal-title":"Science of Computer Programming"},{"key":"27_CR4","doi-asserted-by":"crossref","unstructured":"M. C. Browne, E. M. Clarke, and O. Grumberg. Characterizing Kripke structures in temporal logic. Technical Report CS 87-104, Department of Computer Science, Carnegie Mellon University, 1987.","DOI":"10.21236\/ADA188620"},{"key":"27_CR5","doi-asserted-by":"crossref","unstructured":"M. Chiodo, T. R. Shiple, A. L. Sangiovanni-Vincentelli, and R. K. Brayton. Automatic compositional minimization in CTL model checking. In Proc. Int'l Conf. on Computer-Aided Design, pages 172\u2013178, Nov. 1992.","DOI":"10.1109\/ICCAD.1992.279379"},{"issue":"2","key":"27_CR6","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 Trans. on Programming Languages and Systems, 8(2):244\u2013263, Apr. 1986.","journal-title":"ACM Trans. on Programming Languages and Systems"},{"key":"27_CR7","doi-asserted-by":"crossref","unstructured":"E. M. Clarke, D. E. Long, and K. L. McMillan. Compositional model checking. In 4th Annual Symposium on Logic in Computer Science, Asilomar, CA, June 1989.","DOI":"10.1109\/LICS.1989.39190"},{"key":"27_CR8","doi-asserted-by":"crossref","unstructured":"O. Coudert, C. Berthet, and J. C. Madre. Verification of synchronous sequential machines based on symbolic execution. In J. Sifakis, editor, Proceedings of the Workshop on Automatic Verification Methods for Finite State Systems, volume 407 of Lecture Notes in Computer Science, pages 365\u2013373. Springer-Verlag, June 1989.","DOI":"10.1007\/3-540-52148-8_30"},{"key":"27_CR9","doi-asserted-by":"crossref","unstructured":"D. Dams, O. Grumberg, and R. Gerth. Generation of reduced models for checking fragments of CTL. In C. Courcoubetis, editor, Proceedings of the Conference on Computer-Aided Verification, volume 697 of Lecture Notes in Computer Science, pages 479\u2013490. Springer-Verlag, June 1993.","DOI":"10.1007\/3-540-56922-7_39"},{"key":"27_CR10","doi-asserted-by":"crossref","unstructured":"E. A. Emerson. Temporal and modal logic. In J. van Leeuwen, editor, Handbook of Theoretical Computer Science, pages 995\u20131072. Elsevier Science Publishers B.V., 1990.","DOI":"10.1016\/B978-0-444-88074-1.50021-4"},{"key":"27_CR11","doi-asserted-by":"crossref","unstructured":"O. Grumberg and D. E. Long. Model checking and modular verification. In J. C. M. Baeten and J. F. Groote, editors, CONCUR '91, International Conference on Concurrency Theory, volume 527 of Lecture Notes in Computer Science. Springer-Verlag, Aug. 1991.","DOI":"10.1007\/3-540-54430-5_93"},{"key":"27_CR12","volume-title":"Communication and Concurrency","author":"R. Milner","year":"1989","unstructured":"R. Milner. Communication and Concurrency. Prentice Hall, New York, 1989."}],"container-title":["Lecture Notes in Computer Science","Computer Aided Verification"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-58179-0_65.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,17]],"date-time":"2020-11-17T21:17:57Z","timestamp":1605647877000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-58179-0_65"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1994]]},"ISBN":["9783540581796","9783540484691"],"references-count":12,"URL":"https:\/\/doi.org\/10.1007\/3-540-58179-0_65","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1994]]}}}