{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,4,1]],"date-time":"2025-04-01T07:44:44Z","timestamp":1743493484238},"reference-count":8,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"DOI":"10.1109\/issoc.2004.1411179","type":"proceedings-article","created":{"date-parts":[[2005,3,31]],"date-time":"2005-03-31T18:26:51Z","timestamp":1112293611000},"page":"177-180","source":"Crossref","is-referenced-by-count":7,"title":["Assertion based verification of PSL for systemC designs"],"prefix":"10.1109","author":[{"given":"A.","family":"Habibi","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"A.","family":"Gawanmeh","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"S.","family":"Tabar","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"key":"3","article-title":"Embedding of PSL in ASM with an application to systemC verification","author":"habibi","year":"2004","journal-title":"Technical Report"},{"key":"2","first-page":"9","article-title":"Evolving algebras 1993: Lipari guide","author":"gurevich","year":"1995","journal-title":"Specification and Validation Methods"},{"journal-title":"Accellera Property Specification Language Reference Manual Version 1 01","year":"2004","key":"1"},{"journal-title":"SystemC 2 0 1 Language Reference Manual","year":"2003","key":"7"},{"journal-title":"AsmL for Microsoft Net Framework (Version 2 1 5 7)","year":"2004","key":"6"},{"journal-title":"Abstract State Machines","year":"2003","author":"huggins","key":"5"},{"key":"4","doi-asserted-by":"publisher","DOI":"10.1109\/CCECE.2004.1347573"},{"year":"2004","key":"8"}],"event":{"name":"2004 International Symposium on System-on-Chip, 2004.","location":"Tampere, Finland"},"container-title":["2004 International Symposium on System-on-Chip, 2004. Proceedings."],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx5\/9673\/30557\/01411179.pdf?arnumber=1411179","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,3,14]],"date-time":"2017-03-14T17:37:23Z","timestamp":1489513043000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/1411179\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[null]]},"references-count":8,"URL":"https:\/\/doi.org\/10.1109\/issoc.2004.1411179","relation":{},"subject":[]}}