{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,4,4]],"date-time":"2026-04-04T15:54:31Z","timestamp":1775318071939,"version":"3.50.1"},"reference-count":18,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2017,3]]},"DOI":"10.23919\/date.2017.7927264","type":"proceedings-article","created":{"date-parts":[[2017,5,15]],"date-time":"2017-05-15T16:34:41Z","timestamp":1494866081000},"page":"1679-1684","source":"Crossref","is-referenced-by-count":7,"title":["Verification of networked Labs-on-Chip architectures"],"prefix":"10.23919","author":[{"given":"Andreas","family":"Grimmer","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Werner","family":"Haselmayr","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Andreas","family":"Springer","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Robert","family":"Wille","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.1109\/TMBMC.2015.2500569"},{"key":"ref11","first-page":"787","article-title":"Microfluidic networks: design and test of a pure hydrodynamic switching function","author":"leo","year":"2013","journal-title":"Int'l Conf on Communications"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.1007\/s10404-007-0184-1"},{"key":"ref13","volume":"185","author":"biere","year":"2009","journal-title":"Handbook of Satisfiability"},{"key":"ref14","doi-asserted-by":"publisher","DOI":"10.1145\/2593069.2593135"},{"key":"ref15","doi-asserted-by":"publisher","DOI":"10.1109\/ASPDAC.2017.7858377"},{"key":"ref16","article-title":"DAGmar: Library for DAGs","author":"bachmaier","year":"2012"},{"key":"ref17","article-title":"Microfluidic flow-based biochips","author":"schmidt","year":"2012"},{"key":"ref18","first-page":"337","article-title":"Z3: An Efficient SMT Solver","author":"de moura","year":"2008","journal-title":"Tools and Algorithms for Construction and Analysis of Systems"},{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.1039\/b715524g"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.1039\/b820557b"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.1016\/j.nancom.2012.09.007"},{"key":"ref5","article-title":"?-NET: a network for molecular biology applications in microfluidic chips","author":"donvito","year":"2015","journal-title":"IEEE\/ACM Trans on Networking"},{"key":"ref8","first-page":"3165","article-title":"Design and assessment of a pure hydrodynamic microfluidic switch","author":"leo","year":"2013","journal-title":"Int'l Conf on Communications"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.1109\/TCOMM.2013.100813.130332"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.1039\/b706364b"},{"key":"ref1","doi-asserted-by":"publisher","DOI":"10.1038\/nature05062"},{"key":"ref9","first-page":"19","article-title":"On the assessment of microfluidic switching capabilities in NLoC networks","author":"donvito","year":"2014","journal-title":"Int'l Conf on Nanoscale Computing and Communication"}],"event":{"name":"2017 Design, Automation & Test in Europe Conference & Exhibition (DATE)","location":"Lausanne, Switzerland","start":{"date-parts":[[2017,3,27]]},"end":{"date-parts":[[2017,3,31]]}},"container-title":["Design, Automation & Test in Europe Conference & Exhibition (DATE), 2017"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/7919927\/7926947\/07927264.pdf?arnumber=7927264","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,12,13]],"date-time":"2017-12-13T15:42:13Z","timestamp":1513179733000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/7927264\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2017,3]]},"references-count":18,"URL":"https:\/\/doi.org\/10.23919\/date.2017.7927264","relation":{},"subject":[],"published":{"date-parts":[[2017,3]]}}}