Výsledky vyhľadávania - "Theory of computation → Distributed algorithms phrases Verification"
-
1
Autori: a ďalší
Prispievatelia: a ďalší
Zdroj: Concur 2021 - International Conference on Concurrency Theory ; https://inria.hal.science/hal-03480241 ; Concur 2021 - International Conference on Concurrency Theory, Aug 2021, Paris, France. pp.1-17, ⟨10.4230/LIPIcs.CONCUR.2021.15⟩
Predmety: Theory of computation → Verification by model checking, Theory of computation → Distributed algorithms phrases Verification, Distributed algorithms, Domain theory, [INFO]Computer Science [cs]
Nájsť tento článok vo Web of Science