On WLCDs and the Complexity of Word-Level Decision Diagrams—A Lower Bound for Division
Formal Methods in System Design
Model Checking Large Software Specifications
IEEE Transactions on Software Engineering
Using Word-Level Information in Formal Hardware Verification
Automation and Remote Control
Hi-index | 0.00 |