Multiway Decision Graphs for Automated Hardware Verification (1997)

by F Corella, Z Zhou, X Song, M Langevin, E Cerny
Venue:Formal Methods in System Design