%0 Conference Paper %1 DBLP:conf/podc/0001G0LTW22 %A Bertrand, Nathalie %A Gramoli, Vincent %A Konnov, Igor %A Lazic, Marijana %A Tholoniat, Pierre %A Widder, Josef %B PODC %D 2022 %I ACM %K conference %P 424--426 %R 10.4230/LIPIcs.DISC.2022.10 %T Brief Announcement: Holistic Verification of Blockchain Consensus %U https://drops.dagstuhl.de/opus/volltexte/2022/17201/

@inproceedings{DBLP:conf/podc/0001G0LTW22, added-at = {2022-11-23T11:22:22.000+0100}, author = {Bertrand, Nathalie and Gramoli, Vincent and Konnov, Igor and Lazic, Marijana and Tholoniat, Pierre and Widder, Josef}, biburl = {https://www.bibsonomy.org/bibtex/2fdb259c07bf781f8a000d7b0c4925efa/paves}, booktitle = {{PODC}}, doi = {10.4230/LIPIcs.DISC.2022.10}, interhash = {17b78e521ca2c030388a609775a777e6}, intrahash = {fdb259c07bf781f8a000d7b0c4925efa}, keywords = {conference}, pages = {424--426}, publisher = {{ACM}}, timestamp = {2023-09-24T19:38:20.000+0200}, title = {Brief Announcement: Holistic Verification of Blockchain Consensus}, url = {https://drops.dagstuhl.de/opus/volltexte/2022/17201/}, year = 2022 }