A Procedure for Functional Design Verification (1980)

by S B Akers
Venue:10th International Symposium on Fault-Tolerant Computing