30th International Conference on Concurrency Theory

Book title Buchtitel
30th International Conference on Concurrency Theory
 
Publisher Herausgeber
Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik, Germany
 

Publications Publikationen

Results 1-1 of 1 (Search time: 0.001 seconds).

PreviewAuthors / EditorsTitleTypeIssue Date
1Bertrand, Nathalie ; Konnov, Igor ; Lazić, Marijana ; Widder, Josef Verification of Randomized Consensus Algorithms Under Round-Rigid AdversariesKonferenzbeitrag Inproceedings 2019