{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2023,9,13]],"date-time":"2023-09-13T18:39:35Z","timestamp":1694630375531},"reference-count":13,"publisher":"Institute of Electrical and Electronics Engineers (IEEE)","issue":"11","license":[{"start":{"date-parts":[[1974,11,1]],"date-time":"1974-11-01T00:00:00Z","timestamp":152496000000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/ieeexplore.ieee.org\/Xplorehelp\/downloads\/license-information\/IEEE.html"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["IEEE Trans. Comput."],"published-print":{"date-parts":[[1974,11]]},"DOI":"10.1109\/t-c.1974.223832","type":"journal-article","created":{"date-parts":[[2007,7,12]],"date-time":"2007-07-12T21:26:12Z","timestamp":1184275572000},"page":"1207-1213","source":"Crossref","is-referenced-by-count":8,"title":["Optimal and Near-Optimal Checking Experiments for Output Faults in Sequential Machines"],"prefix":"10.1109","volume":"C-23","author":[{"given":"R.T.","family":"Boute","sequence":"first","affiliation":[]}],"member":"263","reference":[{"key":"ref10","author":"gill","year":"1962","journal-title":"Introduction to the Theory of Finite-State Machines"},{"key":"ref11","author":"boute","year":"1972","journal-title":"Algebraic properties of test sequences and fault relations"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.1109\/T-C.1974.223832"},{"key":"ref13","doi-asserted-by":"publisher","DOI":"10.1109\/SWCT.1964.7"},{"key":"ref4","author":"boute","year":"1972","journal-title":"Adaptive design of checking experiments"},{"key":"ref3","doi-asserted-by":"crossref","first-page":"1152","DOI":"10.1109\/T-C.1971.223100","article-title":"checking experiments ror sequential machines","volume":"c 20","author":"hsieh","year":"1971","journal-title":"IEEE Transactions on Computers"},{"key":"ref6","author":"boute","year":"1972","journal-title":"Checking experiments for output faults"},{"key":"ref5","author":"hennie","year":"1968","journal-title":"Finite State Models for Logical Machines"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.1109\/T-C.1973.223727"},{"key":"ref7","author":"boute","year":"1972","journal-title":"Equivalence and Dominance Relations Between Output Faults in Sequential Machines"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.1109\/SWCT.1964.8"},{"key":"ref1","first-page":"129","author":"moore","year":"1956","journal-title":"Automata Studies"},{"key":"ref9","author":"hartmanis","year":"1960","journal-title":"Algebraic Structure Theory of Sequential Machines"}],"container-title":["IEEE Transactions on Computers"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx5\/12\/35079\/01672425.pdf?arnumber=1672425","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,11,29]],"date-time":"2021-11-29T20:35:03Z","timestamp":1638218103000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/1672425\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1974,11]]},"references-count":13,"journal-issue":{"issue":"11"},"URL":"http:\/\/dx.doi.org\/10.1109\/t-c.1974.223832","relation":{},"ISSN":["0018-9340"],"issn-type":[{"value":"0018-9340","type":"print"}],"subject":[],"published":{"date-parts":[[1974,11]]}}}
