Search Results - "2012 ACM Subject Classification Computing methodologies → Distributed algorithms"
-
1
Authors: et al.
Contributors: et al.
Source: DISC 2022 - 36th International Symposium on Distributed Computing ; https://inria.hal.science/hal-03819724 ; DISC 2022 - 36th International Symposium on Distributed Computing, Oct 2022, Augusta, United States. pp.1-24, ⟨10.4230/LIPIcs.DISC.2022.10⟩
Subject Terms: 2012 ACM Subject Classification Computing methodologies → Distributed algorithms, Theory of computation → Logic and verification phrases Model checking, automata, logic, byzantine failure, [INFO]Computer Science [cs]
Subject Geographic: Augusta, United States
Nájsť tento článok vo Web of Science