{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,10,29]],"date-time":"2024-10-29T11:45:01Z","timestamp":1730202301738,"version":"3.28.0"},"reference-count":15,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2010,9]]},"DOI":"10.1109\/cca.2010.5611070","type":"proceedings-article","created":{"date-parts":[[2010,11,10]],"date-time":"2010-11-10T11:36:04Z","timestamp":1289388964000},"page":"518-523","source":"Crossref","is-referenced-by-count":0,"title":["Analysis of boolean models using quality assurance methods from software engineering"],"prefix":"10.1109","author":[{"given":"Rebekka","family":"Schlatter","sequence":"first","affiliation":[]},{"given":"David","family":"Knies","sequence":"additional","affiliation":[]},{"given":"Michael","family":"Ederer","sequence":"additional","affiliation":[]},{"given":"Oliver","family":"Sawodny","sequence":"additional","affiliation":[]}],"member":"263","reference":[{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.1186\/1752-0509-1-2"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.1186\/1471-2105-7-56"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.1371\/journal.pcbi.1000385"},{"key":"ref13","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4757-3540-6_9"},{"key":"ref14","first-page":"9","article-title":"Black-Box Testing","author":"myers","year":"2006","journal-title":"The Art of Software Testing"},{"key":"ref15","doi-asserted-by":"publisher","DOI":"10.1038\/msb.2009.87"},{"key":"ref4","first-page":"479","article-title":"Laws for the dynamics of regulatory networks","volume":"42","author":"thomas","year":"1998","journal-title":"Int J Dev Biol"},{"journal-title":"Biological Feedback","year":"1990","author":"thomas","key":"ref3"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.1371\/journal.pcbi.1000438"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.1371\/journal.pcbi.1000595"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.1016\/j.jtbi.2009.04.024"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.1371\/journal.pcbi.0030163"},{"article-title":"A symbolic analysis of relay and switching circuits","year":"1940","author":"shannon","key":"ref2"},{"key":"ref1","doi-asserted-by":"publisher","DOI":"10.5962\/bhl.title.29413"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.1016\/S0092-8240(03)00061-2"}],"event":{"name":"Control (MSC)","start":{"date-parts":[[2010,9,8]]},"location":"Yokohama, Japan","end":{"date-parts":[[2010,9,10]]}},"container-title":["2010 IEEE International Conference on Control Applications"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx5\/5604775\/5611035\/05611070.pdf?arnumber=5611070","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,3,18]],"date-time":"2017-03-18T19:59:03Z","timestamp":1489867143000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/5611070\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2010,9]]},"references-count":15,"URL":"https:\/\/doi.org\/10.1109\/cca.2010.5611070","relation":{},"subject":[],"published":{"date-parts":[[2010,9]]}}}