Higher-Level Specification and Verification with BDDs (1992)

by Alan J. Hu , David L. Dill , Andreas J. Drexler , C. Han Yang
Venue:IN COMPUTER-AIDED VERIFICATION: FOURTH INTERNATIONAL WORKSHOP
Citations:22 - 4 self