User: Guest  Login
If you experience problems opening the document, please try this link.
Document type:
Zeitschriftenaufsatz
Author(s):
Bertrand, Nathalie; Konnov, Igor; Lazić, Marijana; Widder, Josef
Title:
Verification of randomized consensus algorithms under round-rigid adversaries
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