From I/O Automata to Timed I/O Automata
TPHOLs '99 Proceedings of the 12th International Conference on Theorem Proving in Higher Order Logics
Isomorphisms - A Link Between the Shallow and the Deep
TPHOLs '99 Proceedings of the 12th International Conference on Theorem Proving in Higher Order Logics
Journal of Functional Programming
A Formalized Theory for Verifying Stability and Convergence of Automata in PVS
TPHOLs '08 Proceedings of the 21st International Conference on Theorem Proving in Higher Order Logics
Modular formalization of reactive modules in COQ
ASIAN'06 Proceedings of the 11th Asian computing science conference on Advances in computer science: secure software and related issues
Formalization of CTL* in calculus of inductive constructions
ASIAN'06 Proceedings of the 11th Asian computing science conference on Advances in computer science: secure software and related issues
Proceedings of the 33rd ACM SIGPLAN conference on Programming Language Design and Implementation
| Hi-index | 0.00 |