Fault Detection Capabilities of Alternating Logic
From MaRDI portal
Publication:4168525
DOI10.1109/TC.1978.1675011zbMath0387.94034MaRDI QIDQ4168525
Gernot Metze, Dennis A. Reynolds
Publication date: 1978
Published in: IEEE Transactions on Computers (Search for Journal in Brave)
DB lookup for MSC labels failed