@dblp

Results on the Interface between Formal Verification and ATPG.

, , , , , and . CAV (DIMACS/AMS volume), volume 3 of DIMACS Series in Discrete Mathematics and Theoretical Computer Science, page 615-628. DIMACS/AMS, (1990)

Links and resources

Tags