@misc{indiciaed9a5de9f9995,
  title = {Model Checking Paxos in Spin},
  author = {Giorgio Delzanno and Michele Tatarek and Riccardo Traverso},
  year = {2014},
  doi = {10.4204/eptcs.161.13},
  url = {https://arxiv.org/abs/1408.5962},
  note = {Source identifier: 1408.5962}
}