State reduction using reversible rules
DAC '96 Proceedings of the 33rd annual Design Automation Conference
Parallelizing the Murϕ Verifier
Formal Methods in System Design - Special issue on CAV '97
Techniques for Smaller Intermediary BDDs
CONCUR '01 Proceedings of the 12th International Conference on Concurrency Theory
A BDD-Based Approach to Verifying Clone-Enabled Feature Models' Constraints and Customization
ICSR '08 Proceedings of the 10th international conference on Software Reuse: High Confidence Software Reuse in Large Systems
Distributed explicit fair cycle detection: set based approach
SPIN'03 Proceedings of the 10th international conference on Model checking software
| Hi-index | 0.00 |