{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,13]],"date-time":"2025-10-13T19:58:40Z","timestamp":1760385520777},"reference-count":6,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2016,5]]},"DOI":"10.1109\/iscas.2016.7539009","type":"proceedings-article","created":{"date-parts":[[2016,11,1]],"date-time":"2016-11-01T20:59:26Z","timestamp":1478033966000},"page":"2162-2165","source":"Crossref","is-referenced-by-count":2,"title":["Implementation of switching circuit models as transfer functions"],"prefix":"10.1109","author":[{"given":"David Kebo","family":"Houngninou","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Mitchell A","family":"Thornton","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"doi-asserted-by":"publisher","key":"ref4","DOI":"10.1023\/A:1008647823331"},{"year":"2000","author":"de alfaro","journal-title":"Symbolic model checking of probabilistic processes using MTBDDs and the Kronecker representation","key":"ref3"},{"doi-asserted-by":"publisher","key":"ref6","DOI":"10.1109\/TC.2015.2401034"},{"key":"ref5","first-page":"303","article-title":"Binary decision diagrams","author":"somenzi","year":"1999","journal-title":"Calculational System Design volume 173 of NATO Science SeriesF Computer and Systems Sciences"},{"doi-asserted-by":"publisher","key":"ref2","DOI":"10.1007\/978-1-4613-1385-4_4"},{"doi-asserted-by":"publisher","key":"ref1","DOI":"10.1023\/A:1008699807402"}],"event":{"name":"2016 IEEE International Symposium on Circuits and Systems (ISCAS)","start":{"date-parts":[[2016,5,22]]},"location":"Montr\u00e9al, QC, Canada","end":{"date-parts":[[2016,5,25]]}},"container-title":["2016 IEEE International Symposium on Circuits and Systems (ISCAS)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/7515073\/7527154\/07539009.pdf?arnumber=7539009","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,10,14]],"date-time":"2020-10-14T16:17:01Z","timestamp":1602692221000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/7539009"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2016,5]]},"references-count":6,"URL":"https:\/\/doi.org\/10.1109\/iscas.2016.7539009","relation":{},"subject":[],"published":{"date-parts":[[2016,5]]}}}