BibTeX-Export: 1 Datensatz f{\"u}r alle [global] @inproceedings{TUW-283797, author = {Bertrand, Nathalie and Konnov, Igor and Lazi{\&}{\#}263;, Marijana and Widder, Josef}, title = {Verification of Randomized Consensus Algorithms Under Round-Rigid Adversaries}, booktitle = {30th International Conference on Concurrency Theory}, year = {2019}, pages = {33:1--33:15}, publisher = {Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik, Germany}, url = {https://publik.tuwien.ac.at/files/publik_283797.pdf}, doi = {10.4230/LIPIcs.CONCUR.2019.33} } 1 Datensatz ausgegeben