{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,10,23]],"date-time":"2024-10-23T07:47:31Z","timestamp":1729669651619,"version":"3.28.0"},"reference-count":19,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"DOI":"10.1109\/rsp.2006.22","type":"proceedings-article","created":{"date-parts":[[2006,7,10]],"date-time":"2006-07-10T15:59:56Z","timestamp":1152547196000},"page":"91-97","source":"Crossref","is-referenced-by-count":1,"title":["Introspection Mechanisms for Semi-Formal Verification in a System-Level Design Environment"],"prefix":"10.1109","author":[{"given":"M.","family":"Metzger","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"F.","family":"Bastien","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"F.","family":"Rousseau","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"J.","family":"Vachon","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"E.M.","family":"Aboulhamid","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"journal-title":"AHB-Lite","year":"0","key":"19"},{"key":"17","doi-asserted-by":"publisher","DOI":"10.1145\/298595.298598"},{"year":"0","key":"18"},{"key":"15","doi-asserted-by":"crossref","first-page":"53","DOI":"10.1007\/3-540-44585-4_6","article-title":"Fast LTL to bu?chi automata translation","author":"gastin","year":"2001","journal-title":"Conf on Computer-Aided Verification"},{"key":"16","doi-asserted-by":"publisher","DOI":"10.1109\/SFCS.1983.51"},{"key":"13","doi-asserted-by":"publisher","DOI":"10.1109\/SFCS.1977.32"},{"key":"14","doi-asserted-by":"crossref","DOI":"10.1007\/978-3-540-45069-6_3","article-title":"Reasoning with temporal logic on truncated paths","volume":"2725","author":"eisner","year":"2003","journal-title":"Lectures Notes in Computer Science"},{"journal-title":"A Tutorial Introduction on the New SystemC Verification Standard","year":"0","author":"ip","key":"11"},{"journal-title":"PSL Language Reference Manual","year":"2003","key":"12"},{"journal-title":"JAVA Technology","year":"0","key":"3"},{"key":"2","doi-asserted-by":"publisher","DOI":"10.1109\/MDT.2003.1214355"},{"journal-title":"SystemC Version 2 1","year":"0","key":"1"},{"key":"10","doi-asserted-by":"publisher","DOI":"10.1145\/1086228.1086286"},{"year":"0","key":"7"},{"key":"6","doi-asserted-by":"publisher","DOI":"10.1145\/1151074.1151082"},{"key":"5","doi-asserted-by":"publisher","DOI":"10.1109\/DATE.2003.1253638"},{"journal-title":"NET Framework","year":"2003","key":"4"},{"key":"9","article-title":"SystemCXML: An extensible systemC front end using XML","author":"patel","year":"0","journal-title":"Formal Engineering Research Using Methods Abstractions and Transformations"},{"key":"8","doi-asserted-by":"publisher","DOI":"10.1109\/ASE.2001.989841"}],"event":{"name":"Seventeenth IEEE International Workshop on Rapid System Prototyping (RSP'06)","location":"Chania, Crete, Greece"},"container-title":["Seventeenth IEEE International Workshop on Rapid System Prototyping (RSP'06)"],"original-title":[],"link":[{"URL":"https:\/\/summer-heart-0930.chufeiyun1688.workers.dev:443\/http\/xplorestaging.ieee.org\/ielx5\/10855\/34196\/01630755.pdf?arnumber=1630755","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,6,17]],"date-time":"2017-06-17T03:22:47Z","timestamp":1497669767000},"score":1,"resource":{"primary":{"URL":"https:\/\/summer-heart-0930.chufeiyun1688.workers.dev:443\/http\/ieeexplore.ieee.org\/document\/1630755\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[null]]},"references-count":19,"URL":"https:\/\/summer-heart-0930.chufeiyun1688.workers.dev:443\/https\/doi.org\/10.1109\/rsp.2006.22","relation":{},"subject":[]}}