Ana Sokolova

Ana Sokolova

ספרים

ספרים משותפים ואוספים

ספרים שבהם Ana Sokolova מופיע/ה ברשימת המחברים, לא כמחבר/ת הראשי/ת: ספרים משותפים, אוספים וסיכומים.

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