TY  - RPRT
TI  - Holistic Verification of Blockchain Consensus
AU  - Nathalie Bertrand
AU  - Vincent Gramoli
AU  - Igor Konnov
AU  - Marijana Lazić
AU  - Pierre Tholoniat
AU  - Josef Widder
PY  - 2022
UR  - https://arxiv.org/abs/2206.04489
ID  - 2206.04489
ER  -