{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,8,6]],"date-time":"2025-08-06T13:36:57Z","timestamp":1754487417140},"publisher-location":"Berlin, Heidelberg","reference-count":13,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540569220"},{"type":"electronic","value":"9783540477877"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1993]]},"DOI":"10.1007\/3-540-56922-7_5","type":"book-chapter","created":{"date-parts":[[2012,2,26]],"date-time":"2012-02-26T11:54:59Z","timestamp":1330257299000},"page":"41-58","source":"Crossref","is-referenced-by-count":17,"title":["BDD-Based debugging of designs using language containment and fair CTL"],"prefix":"10.1007","author":[{"given":"Ramin","family":"Hojati","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Robert K.","family":"Brayton","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Robert P.","family":"Kurshan","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2005,5,27]]},"reference":[{"key":"5_CR1","unstructured":"S. Aggarwal, R. P. Kurshan, K. Sabnani, \u201cA Calculus for Protocol Specification and Validation\u201d, in Protocol Specification, Testing and Verification III (193) North-Holland, pp. 19\u201334."},{"key":"5_CR2","doi-asserted-by":"crossref","unstructured":"R. Alur, A. Itai, R. P. Kurshan, \u201cTiming Verification by Successive Approximation\u201d, Computer-Aided Verification, 1992.","DOI":"10.1007\/3-540-56496-9_12"},{"key":"5_CR3","doi-asserted-by":"crossref","unstructured":"Felice Balarin, A. S. Vincentelli, \u201cA Verification Strategy for Timing-Constrained Systems\u201d, Fourth Workshop On Computer-Aided Verification, 1992.","DOI":"10.1007\/3-540-56496-9_13"},{"issue":"2","key":"5_CR4","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, A. P. Sistla. \u201cAutomatic Verification of Finite-State Concurrent Systems Using Temporal Logic Specifications\u201d, ACM Transactions on Programming Languages and Systems. 8(2):244\u2013263, 1986.","journal-title":"ACM Transactions on Programming Languages and Systems"},{"key":"5_CR5","doi-asserted-by":"crossref","unstructured":"E. A. Emerson, C. L. Lei, \u201cModalities for Model Checking: Branching Time Logic Strikes Back\u201d, Science of Computer Programming 8, 275\u2013306, Elsevier Science Publishers, 1987.","DOI":"10.1016\/0167-6423(87)90036-0"},{"key":"5_CR6","doi-asserted-by":"crossref","unstructured":"Ramin Hojati, Herve Touati, Robert P. Kurshan, Robert K. Brayton, \u201cEfficient \u03c9-Regular Language Containment\u201d, Computer-Aided Verification, 1992.","DOI":"10.1007\/3-540-56496-9_31"},{"key":"5_CR7","doi-asserted-by":"crossref","unstructured":"Ramin Hojati, Thomas Shiple, Robert Brayton, Robert Kurshan, \u201cA Unified Environment for Language Containment and Fair CTL Model Checking\u201d, submitted to Design Automation Conference, 1993.","DOI":"10.1145\/157485.164985"},{"key":"5_CR8","unstructured":"R. Garey, D. S. Johnson, \u201cComputers and Intractability, A Guide to the Theory of NP-Completeness\u201d, W. H. Freeman and Company, 1979."},{"key":"5_CR9","doi-asserted-by":"crossref","unstructured":"R. Kurshan. \u201cAnalysis of Discrete Event Coordination\u201d, Lecture Notes in Computer Science, 1990.","DOI":"10.1007\/3-540-52559-9_74"},{"key":"5_CR10","unstructured":"D. Long, private communication."},{"key":"5_CR11","unstructured":"Paul Stephan, Huey Wang, private communication."},{"key":"5_CR12","unstructured":"H. Touati, H. Savoj, B. Lin, R. K. Brayton, A. S. Vincentelli, \u201cImplicit State Enumeration of Finite State Machines Using BDD's\u201d, International Conference on Computer-Aided Design, 1990."},{"key":"5_CR13","unstructured":"H. Touati, R. Kurshan, R. Brayton. \u201cTesting Language Containment of \u03c9-Automata Using BDDs\u201d, International Workshop on Formal Methods in VLSI Design, 1991."}],"container-title":["Lecture Notes in Computer Science","Computer Aided Verification"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-56922-7_5.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,17]],"date-time":"2020-11-17T21:07:19Z","timestamp":1605647239000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-56922-7_5"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1993]]},"ISBN":["9783540569220","9783540477877"],"references-count":13,"URL":"https:\/\/doi.org\/10.1007\/3-540-56922-7_5","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1993]]}}}