TY  - RPRT
TI  - Towards an Automatic Proof of Lamport's Paxos
AU  - Aman Goel
AU  - Karem A. Sakallah
PY  - 2021
DO  - 10.34727/2021/isbn.978-3-85448-046-4_20
UR  - https://arxiv.org/abs/2108.08796
ID  - 2108.08796
ER  -