Test Routines Based on Symbolic Logical Statements
From MaRDI portal
Publication:3259305
DOI10.1145/320954.320957zbMath0086.33201MaRDI QIDQ3259305
Publication date: 1959
Published in: Journal of the ACM (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1145/320954.320957
Related Items
Efficient VLSI fault simulation, Diagnosis of constant faults in iteration-free circuits over monotone basis