A three-value computer design verification system

• 1 January 1969
• journal article
• Published by IBM in IBM Systems Journal
• Vol. 8  (3) , 178-188
• https://doi.org/10.1147/sj.83.0178

Abstract