Graph-Based Algorithms for Boolean Function Manipulation
IEEE Transactions on Computers
Spectral transforms for large boolean functions with applications to technology mapping
DAC '93 Proceedings of the 30th international Design Automation Conference
Algebraic decision diagrams and their applications
ICCAD '93 Proceedings of the 1993 IEEE/ACM international conference on Computer-aided design
Using MTBDDs for Compostion and Model Checking of Real-Time Systems
FMCAD '98 Proceedings of the Second International Conference on Formal Methods in Computer-Aided Design
Symbolic model checking for a discrete clocked temporal logic with intervals
Proceedings of the IFIP WG 10.5 International Conference on Correct Hardware Design and Verification Methods: Advances in Hardware Design and Verification
The Verus Tool: A Quantitative Approach to the Formal Verification of Real-Time Systems
CAV '97 Proceedings of the 9th International Conference on Computer Aided Verification
Some Progress in the Symbolic Verification of Timed Automata
CAV '97 Proceedings of the 9th International Conference on Computer Aided Verification
Computing Quantitative Characteristics of Finite-State Real-Time Systems
Computing Quantitative Characteristics of Finite-State Real-Time Systems
Towards the compositional verification of real-time UML designs
Proceedings of the 9th European software engineering conference held jointly with 11th ACM SIGSOFT international symposium on Foundations of software engineering
Timing analysis of an embedded memory: SPSMALL
ICC'06 Proceedings of the 10th WSEAS international conference on Circuits
Hi-index | 0.00 |