{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T17:25:19Z","timestamp":1725470719244},"reference-count":6,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2011,7]]},"DOI":"10.1109\/iolts.2011.5993834","type":"proceedings-article","created":{"date-parts":[[2011,8,25]],"date-time":"2011-08-25T16:44:00Z","timestamp":1314290640000},"page":"177-178","source":"Crossref","is-referenced-by-count":1,"title":["A verification strategy for fault-detection and fault-tolerance circuits"],"prefix":"10.1109","author":[{"given":"Gabriele","family":"Boschi","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Riccardo","family":"Mariani","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Stefano","family":"Lorenzini","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"key":"3","doi-asserted-by":"publisher","DOI":"10.1109\/SOC.2003.1241495"},{"key":"2","doi-asserted-by":"publisher","DOI":"10.1109\/DATE.2007.364641"},{"key":"1","doi-asserted-by":"publisher","DOI":"10.1109\/IOLTS.2007.10"},{"year":"0","key":"6"},{"key":"5","article-title":"A basis for formal robustness checking","author":"goerschwin","year":"2008","journal-title":"9th International Symposium on Quality Electronic Design ISQED '08"},{"key":"4","first-page":"572","article-title":"Formal verification at higher levels of abstraction","author":"kroening","year":"2007","journal-title":"International Conference on Computer-Aided Design"}],"event":{"name":"2011 IEEE 17th International On-Line Testing Symposium (IOLTS 2011)","start":{"date-parts":[[2011,7,13]]},"location":"Athens, Greece","end":{"date-parts":[[2011,7,15]]}},"container-title":["2011 IEEE 17th International On-Line Testing Symposium"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx5\/5979170\/5993790\/05993834.pdf?arnumber=5993834","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,3,20]],"date-time":"2017-03-20T21:29:39Z","timestamp":1490045379000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/5993834\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2011,7]]},"references-count":6,"URL":"https:\/\/doi.org\/10.1109\/iolts.2011.5993834","relation":{},"subject":[],"published":{"date-parts":[[2011,7]]}}}