{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,3,17]],"date-time":"2026-03-17T23:21:31Z","timestamp":1773789691032,"version":"3.50.1"},"reference-count":24,"publisher":"IEEE Comput. Soc","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"DOI":"10.1109\/lics.2002.1029814","type":"proceedings-article","created":{"date-parts":[[2003,6,25]],"date-time":"2003-06-25T22:14:31Z","timestamp":1056579271000},"page":"19-29","source":"Crossref","is-referenced-by-count":63,"title":["Tree-like counterexamples in model checking"],"prefix":"10.1109","author":[{"given":"E.","family":"Clarke","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"S.","family":"Jha","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"key":"19","first-page":"643","article-title":"The common fragment of CTL and LTL","author":"maidl","year":"2000","journal-title":"Proc 41th Symp on Foundations of Computer Science (FOCS'2000)"},{"key":"22","first-page":"690","article-title":"Computation tree logic and regular ?languages","volume":"354","author":"thomas","year":"1989","journal-title":"LNCS"},{"key":"17","doi-asserted-by":"publisher","DOI":"10.1093\/logcom\/6.4.523"},{"key":"23","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-59126-6_7"},{"key":"18","author":"kurshan","year":"1994","journal-title":"Computer-aided Verification of Coordinating Processes"},{"key":"24","doi-asserted-by":"publisher","DOI":"10.1006\/inco.1994.1092"},{"key":"15","first-page":"269","article-title":"Computation tree logic CTL* and path quantifiers in the monadic theory of the binary tree","volume":"267","author":"hafer","year":"1987","journal-title":"LNCS"},{"key":"16","article-title":"Bdd-based debugging of designs using language containment and fair ctl","author":"hojati","year":"1993","journal-title":"Proc International Conference on Computer Aided Verification (CAV)"},{"key":"13","doi-asserted-by":"publisher","DOI":"10.1109\/DAC.1995.249985"},{"key":"14","doi-asserted-by":"publisher","DOI":"10.1016\/B978-0-444-88074-1.50021-4"},{"key":"11","doi-asserted-by":"publisher","DOI":"10.1145\/186025.186051"},{"key":"12","doi-asserted-by":"publisher","DOI":"10.1016\/0304-3975(94)90269-0"},{"key":"21","author":"sistla","year":"1983","journal-title":"Theoretical issues in the design and analysis of distributed systems"},{"key":"3","doi-asserted-by":"publisher","DOI":"10.1006\/jcss.2000.1734"},{"key":"20","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4615-3190-6"},{"key":"2","doi-asserted-by":"publisher","DOI":"10.1109\/TC.1986.1676819"},{"key":"1","article-title":"An iterative approach to language containment","author":"balarin","year":"1993","journal-title":"Computer-Aided Verification"},{"key":"10","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-51237-3_7"},{"key":"7","author":"clarke","year":"1999","journal-title":"Model checking"},{"key":"6","doi-asserted-by":"publisher","DOI":"10.1109\/DAC.1995.249985"},{"key":"5","first-page":"154","article-title":"Counterexample-guided abstraction refinement","volume":"1855","author":"clarke","year":"2000","journal-title":"LNCS"},{"key":"4","doi-asserted-by":"publisher","DOI":"10.1016\/0890-5401(92)90017-A"},{"key":"9","doi-asserted-by":"publisher","DOI":"10.1007\/10722167_15"},{"key":"8","article-title":"Model checking","author":"clarke","year":"2000","journal-title":"Handbook of Automated Reasoning"}],"event":{"name":"17th Annual IEEE Symposium on Logic in Computer Science","location":"Copenhagen, Denmark","acronym":"LICS-02"},"container-title":["Proceedings 17th Annual IEEE Symposium on Logic in Computer Science"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx5\/8005\/22127\/01029814.pdf?arnumber=1029814","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,3,10]],"date-time":"2017-03-10T23:33:17Z","timestamp":1489188797000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/1029814\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[null]]},"references-count":24,"URL":"https:\/\/doi.org\/10.1109\/lics.2002.1029814","relation":{},"subject":[]}}