Ana Sokolova
Ana Sokolova
Books
Co-authored books and collections
Books that list Ana Sokolova among their authors but not as the lead author: co-written works, collections and compilations.
Reachability ProblemsLaura Kovács
Reachability Problems
Laura Kovács · 2024
Model Checking SoftwareAlfons Laarman
Model Checking Software
Alfons Laarman · 2021
Formal Techniques for Distributed Objects, Components, and SystemsAlexey Gotsman
Formal Techniques for Distributed Objects, Components, and Systems
Alexey Gotsman · 2020