{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,4,9]],"date-time":"2025-04-09T13:09:19Z","timestamp":1744204159062},"reference-count":9,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"DOI":"10.1109\/iccad.2005.1560186","type":"proceedings-article","created":{"date-parts":[[2005,12,22]],"date-time":"2005-12-22T17:52:37Z","timestamp":1135273957000},"page":"885-888","source":"Crossref","is-referenced-by-count":3,"title":["SAT based solutions for consistency problems in formal property specifications for open systems"],"prefix":"10.1109","author":[{"given":"S.","family":"Roy","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"S.","family":"Das","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"P.","family":"Basu","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"P.","family":"Dasgupta","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"P.P.","family":"Chakrabarti","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"key":"3","article-title":"Trace theory for automatic hierarchical verif. of speed-independent circuits","author":"dill","year":"1989","journal-title":"ACM Distinguished Dissertations"},{"journal-title":"ARM AMBA Specification rev 2 0","year":"0","key":"2"},{"key":"1","doi-asserted-by":"publisher","DOI":"10.1145\/585265.585270"},{"key":"7","doi-asserted-by":"publisher","DOI":"10.1109\/SFCS.1977.32"},{"key":"6","doi-asserted-by":"publisher","DOI":"10.1109\/DAC.2001.156196"},{"key":"5","article-title":"Applying SAT methods in unbounded symbolic model checking","author":"mcmillan","year":"2002","journal-title":"Proc of CAV'02 LNCS 2404"},{"key":"4","doi-asserted-by":"crossref","DOI":"10.1023\/A:1006407208923","article-title":"System description: QuBE A system for deciding quantified boolean formulas satisfiability","author":"giunchiglia","year":"2001","journal-title":"Proc Int'l Joint Conf Automated Reasoning"},{"key":"9","article-title":"Alternating automata and program verification","author":"vardi","year":"1995","journal-title":"Computer Science Today Vol 1000 of LNCS"},{"key":"8","doi-asserted-by":"publisher","DOI":"10.1145\/75277.75293"}],"event":{"name":"ICCAD-2005. IEEE\/ACM International Conference on Computer-Aided Design, 2005.","location":"San Jose, CA"},"container-title":["ICCAD-2005. IEEE\/ACM International Conference on Computer-Aided Design, 2005."],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx5\/10431\/33130\/01560186.pdf?arnumber=1560186","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,6,17]],"date-time":"2017-06-17T01:55:34Z","timestamp":1497664534000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/1560186\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[null]]},"references-count":9,"URL":"https:\/\/doi.org\/10.1109\/iccad.2005.1560186","relation":{},"subject":[]}}