TY  - RPRT
TI  - Formal Verification of Multi-Paxos for Distributed Consensus
AU  - Saksham Chand
AU  - Yanhong A. Liu
AU  - Scott D. Stoller
PY  - 2019
DO  - 10.1007/978-3-319-48989-6_8
UR  - https://arxiv.org/abs/1606.01387
ID  - 1606.01387
ER  -