{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,3,16]],"date-time":"2026-03-16T10:14:31Z","timestamp":1773656071286,"version":"3.50.1"},"reference-count":6,"publisher":"IEEE Comput. Soc","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"DOI":"10.1109\/dsd.2002.1115366","type":"proceedings-article","created":{"date-parts":[[2003,6,26]],"date-time":"2003-06-26T01:03:42Z","timestamp":1056589422000},"page":"174-179","source":"Crossref","is-referenced-by-count":3,"title":["Fault latencies of concurrent checking FSMs"],"prefix":"10.1109","author":[{"given":"R.","family":"Goot","sequence":"first","affiliation":[]},{"given":"I.","family":"Levin","sequence":"additional","affiliation":[]},{"given":"S.","family":"Ostanin","sequence":"additional","affiliation":[]}],"member":"263","reference":[{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.1109\/GLSV.1999.757436"},{"key":"ref3","author":"lala","year":"2000","journal-title":"Self-Checking and Fault Tolerant Digital Design"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.1109\/TC.1976.1674668"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.1023\/A:1008244815697"},{"key":"ref2","article-title":"Finite Markov Chains","author":"kemeny","year":"1967","journal-title":"D Van Nostrand Company"},{"key":"ref1","author":"feller","year":"1971","journal-title":"An Introduction to Probability Theory and Its Applications"}],"event":{"name":"Euromicro Symposium on Digital System Design. DSD'2002","location":"Dortmund, Germany","acronym":"DSD-02"},"container-title":["Proceedings Euromicro Symposium on Digital System Design. Architectures, Methods and Tools"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx5\/8187\/24597\/01115366.pdf?arnumber=1115366","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,3,13]],"date-time":"2017-03-13T22:06:18Z","timestamp":1489442778000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/1115366\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[null]]},"references-count":6,"URL":"https:\/\/doi.org\/10.1109\/dsd.2002.1115366","relation":{},"subject":[]}}