Modalities in analysis and verification
ACM Computing Surveys (CSUR)
On the verification of open distributed systems
SAC '98 Proceedings of the 1998 ACM symposium on Applied Computing
Toward Parametric Verification of Open Distributed Systems
COMPOS'97 Revised Lectures from the International Symposium on Compositionality: The Significant Difference
Compositional Reasoning in Model Checking
COMPOS'97 Revised Lectures from the International Symposium on Compositionality: The Significant Difference
Verifying Temporal Properties Using Explicit Approximants: Completeness for Context-free Processes
FoSSaCS '02 Proceedings of the 5th International Conference on Foundations of Software Science and Computation Structures
Handbook of automated reasoning
Using heuristic search for finding deadlocks in concurrent systems
Information and Computation
Using heuristic search for finding deadlocks in concurrent systems
Information and Computation
Hi-index | 0.00 |