DOI10.1109/TC.2008.173zbMath1368.68235MaRDI QIDQ4975024
Hasan Ural, Robert M. Hierons
Publication date: 8 August 2017 Published in: IEEE Transactions on Computers (Search for Journal in Brave) Full work available at URL: https://doi.org/10.1109/tc.2008.173
Mathematics Subject Classification ID
68Q45: Formal languages and automata
94C12: Fault detection; testing in circuits and networks
