Edge-valued binary decision diagrams for multi-level hierarchical verification
DAC '92 Proceedings of the 29th ACM/IEEE Design Automation Conference
Formal Verification Using Edge-Valued Binary Decision Diagrams
IEEE Transactions on Computers
Hi-index | 0.00 |