%0 Conference Proceedings
%F bertrand:hal-03819744
%A Bertrand, N.
%A Gramoli, V.
%A Konnov, I.
%A Lazic, M.
%A Tholoniat, P.
%A Widder, J.
%T {Brief Announcement: Holistic Verification of Blockchain Consensus}
%B {PODC 2022 - The 41st ACM Symposium on Principles of Distributed Computing}
%C Salerno, Italy
%U https://hal.inria.fr/hal-03819744/file/BGKLTW-ba_podc22.pdf
%U http://dx.doi.org/10.1145/3519270.3538468
%8 July
%D 2022