Verification of randomized consensus algorithms under round-rigid adversaries

Title:: Verification of randomized consensus algorithms under round-rigid adversaries
Document type:: Zeitschriftenaufsatz
Author(s):: Bertrand, Nathalie; Konnov, Igor; Lazić, Marijana; Widder, Josef
Journal title:: International Journal on Software Tools for Technology Transfer
Year:: 2021
Fulltext / DOI:: doi:10.1007/s10009-020-00603-x
Publisher:: Springer Science and Business Media LLC
E-ISSN:: 1433-27791433-2787
Date of publication:: 02.02.2021
BibTeX

Occurrences: