@misc{indiciae3cb00cff800e,
  title = {Towards an Automatic Proof of Lamport's Paxos},
  author = {Aman Goel and Karem A. Sakallah},
  year = {2021},
  doi = {10.34727/2021/isbn.978-3-85448-046-4\_20},
  url = {https://arxiv.org/abs/2108.08796},
  note = {Source identifier: 2108.08796}
}