Ana Sokolova

Books
Theoretical Aspects of Computing - ICTAC 2026 Theoretical Aspects of Computing - ICTAC 2026
Theoretical Aspects of Computing - ICTAC 2026
2026
Reachability Problems Reachability Problems
Reachability Problems
2024
Model Checking Software Model Checking Software
Model Checking Software
2021
Formal Techniques for Distributed Objects, Components, and Systems Formal Techniques for Distributed Objects, Components, and Systems
Formal Techniques for Distributed Objects, Components, and Systems
2020