Beiträge in Tagungsbänden:
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,
S. 33:1
- 33:15.
"Offizielle" elektronische Version der Publikation (entsprechend ihrem Digital Object Identifier - DOI)
http://dx.doi.org/10.4230/LIPIcs.CONCUR.2019.33
Elektronische Version der Publikation:
https://publik.tuwien.ac.at/files/publik_283797.pdf
Erstellt aus der Publikationsdatenbank der Technischen Universität Wien.