%0 Journal Article %1 journals/sttt/BertrandKLW21 %A Bertrand, Nathalie %A Konnov, Igor %A Lazic, Marijana %A Widder, Josef %D 2021 %J Int. J. Softw. Tools Technol. Transf. %K dblp %N 5 %P 797-821 %T Verification of randomized consensus algorithms under round-rigid adversaries. %U http://dblp.uni-trier.de/db/journals/sttt/sttt23.html#BertrandKLW21 %V 23

@article{journals/sttt/BertrandKLW21, added-at = {2023-01-05T00:00:00.000+0100}, author = {Bertrand, Nathalie and Konnov, Igor and Lazic, Marijana and Widder, Josef}, biburl = {https://www.bibsonomy.org/bibtex/28108dc83a498cd07e4087e3d91fe2c21/dblp}, ee = {https://doi.org/10.1007/s10009-020-00603-x}, interhash = {ee7cafb1ef3b3ab6c28e7b80c997a547}, intrahash = {8108dc83a498cd07e4087e3d91fe2c21}, journal = {Int. J. Softw. Tools Technol. Transf.}, keywords = {dblp}, number = 5, pages = {797-821}, timestamp = {2024-04-08T20:36:16.000+0200}, title = {Verification of randomized consensus algorithms under round-rigid adversaries.}, url = {http://dblp.uni-trier.de/db/journals/sttt/sttt23.html#BertrandKLW21}, volume = 23, year = 2021 }