@misc{indiciaee03b5170b7a0,
  title = {Graph- versus Vector-Based Analysis of a Consensus Protocol},
  author = {Giorgio Delzanno and Arend Rensink and Riccardo Traverso},
  year = {2014},
  doi = {10.4204/eptcs.159.5},
  url = {https://arxiv.org/abs/1407.7931},
  note = {Source identifier: 1407.7931}
}