Explore Salon Quotes Lists Reviews Writings

—

Changelog About Contact Privacy Donate

Ana Sokolova | lit.salon

Author

Ana Sokolova

AS

Author record

3 works

2020–2024 across 3 dated works

No biography is available yet.

Start with

Formal Techniques for Distributed Objects, Components, and Systems 40th IFIP WG 6. 1 International Conference, FORTE 2020, Held As Part of the 15th International Federated Conference on Distributed Computing Techniques, DisCoTec 2020, Valletta, Malta, June 15-19, 2020, Proceedings2020
With Alexey Gotsman
Model Checking Software 27th International Symposium, SPIN 2021, Virtual Event, July 12, 2021, Proceedings2021
With Alfons Laarman
Reachability Problems 18th International Conference, RP 2024, Vienna, Austria, September 25-27, 2024, Proceedings2024
With Laura Kovács

Books

3 works

Featured (3)Featured (3)All (3)All (3)

Search booksSort books

Formal Techniques for Distributed Objects, Components, and Systems 40th IFIP WG 6. 1 International Conference, FORTE 2020, Held As Part of the 15th International Federated Conference on Distributed Computing Techniques, DisCoTec 2020, Valletta, Malta, June 15-19, 2020, Proceedings2020
With Alexey Gotsman
1 edition
shelves
0
reviews
0
lists
0
quotes
0
Model Checking Software 27th International Symposium, SPIN 2021, Virtual Event, July 12, 2021, Proceedings2021
With Alfons Laarman
1 edition
shelves
0
reviews
0
lists
0
quotes
0
Reachability Problems 18th International Conference, RP 2024, Vienna, Austria, September 25-27, 2024, Proceedings2024
With Laura Kovács
1 edition
shelves
0
reviews
0
lists
0
quotes
0

End of results

Readers in conversation

Around the salon

Public notes, reviews, lists, and conversations around Ana Sokolova.

The conversation is still open.

There is no public salon activity to show for Ana Sokolova yet.