The complexity of verification
STOC '94 Proceedings of the twenty-sixth annual ACM symposium on Theory of computing
Compositionality and locality for improving model checking in the selective mu-calculus
Science of Computer Programming
Compositionality of Hennessy-Milner logic by structural operational semantics
Theoretical Computer Science - Foundations of computation theory (FCT 2003)
Hi-index | 0.00 |