{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T10:20:04Z","timestamp":1725618004556},"reference-count":13,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2009,4]]},"DOI":"10.1109\/date.2009.5090903","type":"proceedings-article","created":{"date-parts":[[2013,2,19]],"date-time":"2013-02-19T18:16:39Z","timestamp":1361297799000},"page":"1518-1523","source":"Crossref","is-referenced-by-count":5,"title":["SC-DEVS: An efficient SystemC extension for the DEVS model of computation"],"prefix":"10.1109","author":[{"given":"F.","family":"Madlener","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"H.G.","family":"Molter","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"S.A.","family":"Huss","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"year":"2000","author":"zeigler","journal-title":"Theory of Modeling and Simulation","key":"13"},{"year":"0","author":"sarjoughian","journal-title":"DEVSJAVA","key":"11"},{"key":"12","first-page":"188","article-title":"formal techniques for systemc verification","author":"vardi","year":"2007","journal-title":"Proc Design Automation Conf DAC"},{"doi-asserted-by":"publisher","key":"3","DOI":"10.1524\/itit.2007.49.3.181"},{"year":"2002","author":"bolduc","article-title":"a modeling and simulation package for classic hierarchical devs","key":"2"},{"doi-asserted-by":"publisher","key":"1","DOI":"10.1109\/ISCAS.2004.1329517"},{"doi-asserted-by":"publisher","key":"10","DOI":"10.1109\/ICSMC.2003.1244548"},{"year":"0","author":"nutaro","journal-title":"ADEVS (A Discrete EVent System simulator) C++ library","key":"7"},{"doi-asserted-by":"publisher","key":"6","DOI":"10.1109\/ECCTD.2005.1522943"},{"doi-asserted-by":"publisher","key":"5","DOI":"10.1145\/1255456.1255459"},{"year":"0","journal-title":"DEVS tools","key":"4"},{"doi-asserted-by":"publisher","key":"9","DOI":"10.1109\/TCAD.2005.850819"},{"doi-asserted-by":"publisher","key":"8","DOI":"10.1109\/MEMCOD.2006.1695899"}],"event":{"name":"2009 Design, Automation & Test in Europe Conference & Exhibition (DATE'09)","start":{"date-parts":[[2009,4,20]]},"location":"Nice","end":{"date-parts":[[2009,4,24]]}},"container-title":["2009 Design, Automation & Test in Europe Conference & Exhibition"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx5\/4926138\/5090609\/05090903.pdf?arnumber=5090903","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,10,14]],"date-time":"2020-10-14T15:12:33Z","timestamp":1602688353000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/5090903"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2009,4]]},"references-count":13,"URL":"https:\/\/doi.org\/10.1109\/date.2009.5090903","relation":{},"subject":[],"published":{"date-parts":[[2009,4]]}}}