On-the-fly verification of finite transition systems
Formal Methods in System Design - Special issue on computer-aided verification: general methods
Forward and backward simulations I.: untimed systems
Information and Computation
Branching time and abstraction in bisimulation semantics
Journal of the ACM (JACM)
Equational term graph rewriting
Fundamenta Informaticae - Special issue on graph transformations
An Algorithm for Reducing Binary Branchings
Proceedings of the 15th Conference on Foundations of Software Technology and Theoretical Computer Science
Weak Bisimulation and Open Maps
LICS '99 Proceedings of the 14th Annual IEEE Symposium on Logic in Computer Science
Hi-index | 0.00 |