Contributions to Proceedings:
N. Bertrand, I. Konnov, M. Lazić, J. Widder:
"Verification of Randomized Consensus Algorithms Under Round-Rigid Adversaries";
in: "30th International Conference on Concurrency Theory",
Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik, Germany,
2019,
33:1
- 33:15.
"Official" electronic version of the publication (accessed through its Digital Object Identifier - DOI)
http://dx.doi.org/10.4230/LIPIcs.CONCUR.2019.33
Electronic version of the publication:
https://publik.tuwien.ac.at/files/publik_283797.pdf
Created from the Publication Database of the Vienna University of Technology.