Masahiro Fujita
-
Multiway Decision Graphs for Automated Hardware Verification
Formal Methods in System Design