Automatic analysis of electronic digital circuits using list processing

• 1 May 1966
• journal article
• Published by Association for Computing Machinery (ACM) in Communications of the ACM
• Vol. 9  (5) , 372-380
• https://doi.org/10.1145/355592.365651

Abstract