Reachability Problems Reachability Problems
2024
Model Checking Software Model Checking Software
2021
Formal Techniques for Distributed Objects, Components, and Systems Formal Techniques for Distributed Objects, Components, and Systems
2020