Bisimulation Minimization and Symbolic Model Checking
Formal Methods in System Design
ACM Transactions on Computational Logic (TOCL)
Bisimulation Minimization in an Automata-Theoretic Verification Framework
FMCAD '98 Proceedings of the Second International Conference on Formal Methods in Computer-Aided Design
CAV '01 Proceedings of the 13th International Conference on Computer Aided Verification
Enhanced Diameter Bounding via Structural
Proceedings of the conference on Design, automation and test in Europe - Volume 1
An efficient algorithm for computing bisimulation equivalence
Theoretical Computer Science
Scalable compositional minimization via static analysis
ICCAD '05 Proceedings of the 2005 IEEE/ACM International conference on Computer-aided design
Static slicing-based pre-reduction technique for MDG model-checker
IIT'09 Proceedings of the 6th international conference on Innovations in information technology
| Hi-index | 0.00 |