et al., \VIS: A System for Veri cation and Synthesis (1996)

by R K Brayton
Venue:in Proc. of the Conf. on Computer-Aided Veri cation