Progress measures and stack assertions for fair termination
PODC '92 Proceedings of the eleventh annual ACM symposium on Principles of distributed computing
Formal Methods in System Design - Special issue on The First Federated Logic Conference (FLOC'96), part II
A Deductive Proof System for CTL
CONCUR '02 Proceedings of the 13th International Conference on Concurrency Theory
Model Checking with Strong Fairness
Formal Methods in System Design
A compositional approach to CTL* verification
Theoretical Computer Science - Formal methods for components and objects
VMCAI'08 Proceedings of the 9th international conference on Verification, model checking, and abstract interpretation
| Hi-index | 0.02 |