@misc{indiciaead83da2c31ec,
  title = {Towards automated verification of multi-party consensus protocols},
  author = {Ivan Fedotov and Anton Khritankov and Artem Barger},
  year = {2021},
  doi = {10.1145/3520084.3520100},
  url = {https://arxiv.org/abs/2112.02397},
  note = {Source identifier: 2112.02397}
}