Three logics for branching bisimulation
Journal of the ACM (JACM)
Synthesizing distinguishing formulae for real time systems
Nordic Journal of Computing
Efficient Diagnostic Generation for Boolean Equation Systems
TACAS '00 Proceedings of the 6th International Conference on Tools and Algorithms for Construction and Analysis of Systems: Held as Part of the European Joint Conferences on the Theory and Practice of Software, ETAPS 2000
Generating diagnostic information for behavioral preorders
Distributed Computing
Program verification through characteristic formulae
Proceedings of the 15th ACM SIGPLAN international conference on Functional programming
Hi-index | 0.00 |