TY  - RPRT
TI  - A Formally Verified Protocol for Log Replication with Byzantine Fault Tolerance
AU  - Joel Wanner
AU  - Laurent Chuat
AU  - Adrian Perrig
PY  - 2020
UR  - https://arxiv.org/abs/2009.10664
ID  - 2009.10664
ER  -