Strategic directions in concurrency research
ACM Computing Surveys (CSUR) - Special ACM 50th-anniversary issue: strategic directions in computing research
Randomized Non-sequential Processes
CONCUR '01 Proceedings of the 12th International Conference on Concurrency Theory
State Space Reduction by Proving Confluence
CAV '02 Proceedings of the 14th International Conference on Computer Aided Verification
Symbolic Verification and Analysis of Discrete Timed Systems
Formal Methods in System Design
Symmetry in temporal logic model checking
ACM Computing Surveys (CSUR)
Distributed Extended Beam Search for Quantitative Model Checking
Model Checking and Artificial Intelligence
Towards informed swarm verification
NFM'11 Proceedings of the Third international conference on NASA Formal methods
Hi-index | 0.00 |