{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T13:46:47Z","timestamp":1725544007722},"reference-count":30,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2016,10]]},"DOI":"10.1109\/hldvt.2016.7748270","type":"proceedings-article","created":{"date-parts":[[2016,11,21]],"date-time":"2016-11-21T21:23:51Z","timestamp":1479763431000},"page":"155-161","source":"Crossref","is-referenced-by-count":0,"title":["SyQUAL: a platform for qualitative modelling and simulation of biological systems"],"prefix":"10.1109","author":[{"given":"Rosario","family":"Distefano","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Nickolas","family":"Goncharenko","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Franco","family":"Fummi","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Rosalba","family":"Giugno","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Gary D.","family":"Badery","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Nicola","family":"Bombieri","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"key":"ref30","doi-asserted-by":"publisher","DOI":"10.1038\/srep14739"},{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.1371\/journal.pcbi.1000595"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.1093\/bioinformatics\/btq124"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.1093\/bioinformatics\/btp617"},{"key":"ref13","doi-asserted-by":"publisher","DOI":"10.1016\/j.biosystems.2009.04.008"},{"key":"ref14","doi-asserted-by":"publisher","DOI":"10.1186\/1471-2105-12-295"},{"key":"ref15","doi-asserted-by":"publisher","DOI":"10.1186\/1752-0509-6-96"},{"key":"ref16","doi-asserted-by":"publisher","DOI":"10.1186\/1752-0509-1-2"},{"key":"ref17","doi-asserted-by":"publisher","DOI":"10.1186\/1751-0473-3-16"},{"key":"ref18","doi-asserted-by":"publisher","DOI":"10.1186\/1752-0509-3-58"},{"key":"ref19","doi-asserted-by":"publisher","DOI":"10.1186\/1471-2105-11-233"},{"key":"ref28","doi-asserted-by":"publisher","DOI":"10.1038\/nbt.1558"},{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-12982-2_11"},{"key":"ref27","doi-asserted-by":"publisher","DOI":"10.1016\/0043-1354(74)90133-X"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.1186\/1478-811X-11-43"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.1038\/224177a0"},{"key":"ref29","doi-asserted-by":"publisher","DOI":"10.1109\/LATW.2016.7483363"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.1145\/2742060.2742115"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.1093\/bioinformatics\/btl210"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.1016\/0022-5193(73)90247-6"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.1038\/nrg3885"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.1371\/journal.pcbi.1000936"},{"key":"ref1","doi-asserted-by":"publisher","DOI":"10.1039\/c3mb25489e"},{"key":"ref20","doi-asserted-by":"publisher","DOI":"10.1186\/1471-2105-8-462"},{"key":"ref22","doi-asserted-by":"publisher","DOI":"10.1016\/j.jtbi.2005.01.023"},{"key":"ref21","first-page":"67","article-title":"Time out of joint: Attractors in asynchronous random boolean networks","author":"harvey","year":"1997","journal-title":"Proc Eur Conf Artificial Life"},{"key":"ref24","doi-asserted-by":"publisher","DOI":"10.1016\/S0022-5193(05)80350-9"},{"key":"ref23","doi-asserted-by":"publisher","DOI":"10.1016\/j.jtbi.2010.07.022"},{"year":"0","key":"ref26","article-title":"(1996) Guidance for industry: good clinical practice: consolidated guidance. Rockville (Maryland): U.S. Department of Health, Education, and Welfare. Food and Drug Administration"},{"key":"ref25","doi-asserted-by":"publisher","DOI":"10.1093\/nar\/gki072"}],"event":{"name":"2016 IEEE International High Level Design Validation and Test Workshop (HLDVT)","start":{"date-parts":[[2016,10,7]]},"location":"Santa Cruz, CA, USA","end":{"date-parts":[[2016,10,8]]}},"container-title":["2016 IEEE International High Level Design Validation and Test Workshop (HLDVT)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/7746774\/7748241\/07748270.pdf?arnumber=7748270","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2016,12,17]],"date-time":"2016-12-17T03:36:22Z","timestamp":1481945782000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/7748270\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2016,10]]},"references-count":30,"URL":"https:\/\/doi.org\/10.1109\/hldvt.2016.7748270","relation":{},"subject":[],"published":{"date-parts":[[2016,10]]}}}