TY  - RPRT
TI  - Reusable Formal Verification of DAG-based Consensus Protocols
AU  - Nathalie Bertrand
AU  - Pranav Ghorpade
AU  - Sasha Rubin
AU  - Bernhard Scholz
AU  - Pavle Subotic
PY  - 2025
UR  - https://arxiv.org/abs/2407.02167
ID  - 2407.02167
ER  -