Online minimization of transition systems (extended abstract)
STOC '92 Proceedings of the twenty-fourth annual ACM symposium on Theory of computing
A toolbox for the verification of LOTOS programs
ICSE '92 Proceedings of the 14th international conference on Software engineering
An automata-theoretic approach to branching-time model checking
Journal of the ACM (JACM)
Verification experiments on the MASCARA protocol
SPIN '01 Proceedings of the 8th international SPIN workshop on Model checking of software
Modeling and verification of parallel processes
Optimized temporal monitors for SystemC
Formal Methods in System Design
Hi-index | 0.00 |