Login
- Dokumenttyp:
- Zeitschriftenaufsatz
- Autor(en):
- Bertrand, Nathalie; Konnov, Igor; Lazić, Marijana; Widder, Josef
- Titel:
- Verification of randomized consensus algorithms under round-rigid adversaries
- Zeitschriftentitel:
- International Journal on Software Tools for Technology Transfer
- Jahr:
- 2021
- Volltext / DOI:
- doi:10.1007/s10009-020-00603-x
- Verlag / Institution:
- Springer Science and Business Media LLC
- E-ISSN:
- 1433-27791433-2787
- Publikationsdatum:
- 02.02.2021
BibTeX