et al., VIS: A System for Verification and Synthesis (1996)

by R K Brayton, G D Hachtel
Venue:In Proc. of the 8th CAV, volume 1102 of LNCS