Efficient and User-Friendly Verification
IEEE Transactions on Computers
Combining Structural and Enumerative Techniques for the Validation of Bounded Petri Nets
TACAS 2001 Proceedings of the 7th International Conference on Tools and Algorithms for the Construction and Analysis of Systems
FMCAD '98 Proceedings of the Second International Conference on Formal Methods in Computer-Aided Design
Static Analysis for State-Space Reductions Preserving Temporal Logics
Formal Methods in System Design
Hi-index | 0.00 |