{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,10,23]],"date-time":"2024-10-23T00:56:04Z","timestamp":1729644964991,"version":"3.28.0"},"reference-count":32,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2016,4]]},"DOI":"10.1109\/latw.2016.7483363","type":"proceedings-article","created":{"date-parts":[[2016,6,23]],"date-time":"2016-06-23T16:48:27Z","timestamp":1466700507000},"page":"159-164","source":"Crossref","is-referenced-by-count":1,"title":["A SystemC-based platform for assertion-based verification and mutation analysis in systems biology"],"prefix":"10.1109","author":[{"given":"Daniele","family":"Coati","sequence":"first","affiliation":[]},{"given":"Rosario","family":"Distefano","sequence":"additional","affiliation":[]},{"given":"Nicola","family":"Bombieri","sequence":"additional","affiliation":[]},{"given":"Franco","family":"Fummi","sequence":"additional","affiliation":[]},{"given":"Michela","family":"Mirenda","sequence":"additional","affiliation":[]},{"given":"Carlo","family":"Laudanna","sequence":"additional","affiliation":[]},{"given":"Rosalba","family":"Giugno","sequence":"additional","affiliation":[]}],"member":"263","reference":[{"key":"ref32","doi-asserted-by":"publisher","DOI":"10.1109\/TC.2012.301"},{"key":"ref31","doi-asserted-by":"publisher","DOI":"10.1145\/1837274.1837333"},{"key":"ref30","doi-asserted-by":"publisher","DOI":"10.1109\/ICCAD.1990.129887"},{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.1186\/1751-0473-3-16"},{"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.1186\/1752-0509-3-58"},{"key":"ref14","doi-asserted-by":"publisher","DOI":"10.1016\/j.biosystems.2005.10.003"},{"key":"ref15","doi-asserted-by":"publisher","DOI":"10.1186\/1471-2105-12-295"},{"key":"ref16","doi-asserted-by":"publisher","DOI":"10.1073\/pnas.0305937101"},{"key":"ref17","doi-asserted-by":"publisher","DOI":"10.1073\/pnas.1008204108"},{"key":"ref18","doi-asserted-by":"publisher","DOI":"10.1049\/ip-syb:20050079"},{"key":"ref19","doi-asserted-by":"publisher","DOI":"10.1016\/j.bulm.2003.08.010"},{"key":"ref28","doi-asserted-by":"publisher","DOI":"10.1007\/10722167_40"},{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-12982-2_11"},{"key":"ref27","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4020-8586-4"},{"year":"0","key":"ref3","article-title":"The Systems Biology markup Language"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.1371\/journal.pcbi.1000936"},{"key":"ref29","doi-asserted-by":"crossref","first-page":"913","DOI":"10.1038\/43199","article-title":"Robustness in simple biochemical networks","volume":"387","author":"barkai","year":"1997","journal-title":"Nature"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.1371\/journal.pbio.0040312"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.1073\/pnas.0806447105"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.1371\/journal.pcbi.1000595"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.1186\/1478-811X-11-43"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.1371\/journal.pcbi.1002267"},{"key":"ref1","doi-asserted-by":"publisher","DOI":"10.1038\/nrg3885"},{"key":"ref20","article-title":"Dynamic simulation of regulatory networks using squad","volume":"8","author":"di","year":"2007","journal-title":"BMC Bioinformatics"},{"key":"ref22","doi-asserted-by":"publisher","DOI":"10.1145\/2742060.2742115"},{"key":"ref21","doi-asserted-by":"publisher","DOI":"10.1186\/1471-2105-11-233"},{"key":"ref24","doi-asserted-by":"publisher","DOI":"10.1038\/nri2156"},{"key":"ref23","doi-asserted-by":"publisher","DOI":"10.1039\/c2ib20193c"},{"key":"ref26","doi-asserted-by":"publisher","DOI":"10.1007\/s10836-015-5514-8"},{"key":"ref25","doi-asserted-by":"publisher","DOI":"10.1083\/jcb.201303067"}],"event":{"name":"2016 17th Latin-American Test Symposium (LATS)","start":{"date-parts":[[2016,4,6]]},"location":"Foz do Iguacu, Brazil","end":{"date-parts":[[2016,4,8]]}},"container-title":["2016 17th Latin-American Test Symposium (LATS)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/7477975\/7483323\/07483363.pdf?arnumber=7483363","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,6,24]],"date-time":"2017-06-24T16:56:48Z","timestamp":1498323408000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/7483363\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2016,4]]},"references-count":32,"URL":"https:\/\/doi.org\/10.1109\/latw.2016.7483363","relation":{},"subject":[],"published":{"date-parts":[[2016,4]]}}}