Michel Langevin;Eduard Cerny
-;-
Multiway Decision Graphs for Automated Hardware Verification
Formal Methods in System Design