{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,10,22]],"date-time":"2024-10-22T23:04:19Z","timestamp":1729638259458,"version":"3.28.0"},"reference-count":9,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"DOI":"10.1109\/iscas.2006.1692752","type":"proceedings-article","created":{"date-parts":[[2006,9,22]],"date-time":"2006-09-22T17:01:13Z","timestamp":1158944473000},"page":"983-986","source":"Crossref","is-referenced-by-count":10,"title":["Semi-Symbolic Modeling and Simulation of Circuits and Systems"],"prefix":"10.1109","author":[{"given":"D.","family":"Grabowski","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"C.","family":"Grimm","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"E.","family":"Barke","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"key":"3","doi-asserted-by":"crossref","first-page":"265","DOI":"10.1007\/3-540-60472-3_14","article-title":"Hytech: The Cornell hybrid technology tool","volume":"999","author":"henzinger","year":"1995","journal-title":"Lecture Notes in Comput Sci"},{"key":"2","doi-asserted-by":"publisher","DOI":"10.1109\/5.265355"},{"key":"1","doi-asserted-by":"publisher","DOI":"10.1142\/S0129156493000121"},{"key":"7","doi-asserted-by":"publisher","DOI":"10.1109\/DATE.2004.1268875"},{"key":"6","article-title":"Affine Arithmetic (Extended Abstract)","author":"andrade","year":"1994","journal-title":"INTERVAL '94 St Petersburg Russia"},{"key":"5","doi-asserted-by":"publisher","DOI":"10.1109\/DAC.2002.1012684"},{"key":"4","doi-asserted-by":"publisher","DOI":"10.1109\/DATE.1998.655927"},{"key":"9","article-title":"Semi-Symbolic Simulation of Nonlinear Systems","author":"heupke","year":"2005","journal-title":"Forum Specification and Design Languages (FDL)"},{"key":"8","doi-asserted-by":"publisher","DOI":"10.1109\/ISCAS.2005.1465798"}],"event":{"name":"2006 IEEE International Symposium on Circuits and Systems","acronym":"ISCAS-06","location":"Island of Kos, Greece"},"container-title":["2006 IEEE International Symposium on Circuits and Systems"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx5\/11145\/35661\/01692752.pdf?arnumber=1692752","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,6,17]],"date-time":"2017-06-17T09:30:34Z","timestamp":1497691834000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/1692752\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[null]]},"references-count":9,"URL":"https:\/\/doi.org\/10.1109\/iscas.2006.1692752","relation":{},"subject":[]}}