{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T01:28:41Z","timestamp":1725499721251},"reference-count":5,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2003]]},"DOI":"10.1109\/ats.2003.1250871","type":"proceedings-article","created":{"date-parts":[[2004,3,30]],"date-time":"2004-03-30T22:17:26Z","timestamp":1080685046000},"page":"503","source":"Crossref","is-referenced-by-count":0,"title":["Property classification for functional verification based on CDFG"],"prefix":"10.1109","author":[{"family":"Ming Zhu","sequence":"first","affiliation":[]},{"family":"Jinian Bian","sequence":"additional","affiliation":[]},{"family":"Weimin Wu","sequence":"additional","affiliation":[]},{"family":"Hongxi Xue","sequence":"additional","affiliation":[]}],"member":"263","reference":[{"journal-title":"Accellera Inc","article-title":"Open Verification Library Assertion Monitor Reference Manual","year":"2002","key":"ref4"},{"key":"ref3","article-title":"Safety and Liveness Properties: A Survey","author":"kindler","year":"1994","journal-title":"Bull of the EATCS"},{"journal-title":"ITC'99 Benchmark Homepage","year":"0","key":"ref5"},{"article-title":"Logic in Computer Science: Modeling and Reasoning about Systems","year":"2000","author":"huth","key":"ref2"},{"article-title":"Model checking","year":"1999","author":"clarke","key":"ref1"}],"event":{"name":"Proceedings of the 7th International Conference on Properties and Applications of Dielectric Materials (Cat No 03CH37417) ATS-03","start":{"date-parts":[[2003,11,19]]},"location":"Xi'an, China","end":{"date-parts":[[2003,11,19]]}},"container-title":["Proceedings of the 7th International Conference on Properties and Applications of Dielectric Materials (Cat No 03CH37417) ATS-03"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx5\/8853\/27997\/01250871.pdf?arnumber=1250871","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,3,13]],"date-time":"2017-03-13T18:35:35Z","timestamp":1489430135000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/1250871\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2003]]},"references-count":5,"URL":"https:\/\/doi.org\/10.1109\/ats.2003.1250871","relation":{},"subject":[],"published":{"date-parts":[[2003]]}}}