Planning Proofs of Equations in CCS
Automated Software Engineering
Fundamenta Informaticae
Computer assisted manipulation of algebraic process specifications
ACM SIGPLAN Notices
Analysis of an Industrial System
Formal Methods in System Design
Reachability Analysis of Probabilistic Systems by Successive Refinements
PAPM-PROBMIV '01 Proceedings of the Joint International Workshop on Process Algebra and Probabilistic Methods, Performance Modeling and Verification
Verification of Temporal Properties of Processes in a Setting with Data
AMAST '98 Proceedings of the 7th International Conference on Algebraic Methodology and Software Technology
Symbolic Verification of Lossy Channel Systems: Application to the Bounded Retransmission Protocol
TACAS '99 Proceedings of the 5th International Conference on Tools and Algorithms for Construction and Analysis of Systems
Verification of Infinite-State Systems by Combining Abstraction and Reachability Analysis
CAV '99 Proceedings of the 11th International Conference on Computer Aided Verification
DELFIN+: An efficient deadlock detection tool for CCS processes
Journal of Computer and System Sciences
An abstract interpretation toolkit for μCRL
Formal Methods in System Design
Formal Verification of Concurrent Systems via Directed Model Checking
Electronic Notes in Theoretical Computer Science (ENTCS)
Conformance testing for real-time systems
Formal Methods in System Design
Verification and improvement of the sliding window protocol
TACAS'03 Proceedings of the 9th international conference on Tools and algorithms for the construction and analysis of systems
Bounded Retransmission in Event-B||CSP: a Case Study
Electronic Notes in Theoretical Computer Science (ENTCS)
Accelerated modal abstractions of labelled transition systems
AMAST'06 Proceedings of the 11th international conference on Algebraic Methodology and Software Technology
Fundamenta Informaticae
Equivalence checking for infinite systems using parameterized Boolean equation systems
CONCUR'07 Proceedings of the 18th international conference on Concurrency Theory
Hi-index | 0.00 |