@misc{indiciae927b5cfae701,
  title = {An Automata-Theoretic Approach to the Verification of Distributed Algorithms},
  author = {C. Aiswarya and Benedikt Bollig and Paul Gastin},
  year = {2015},
  url = {https://arxiv.org/abs/1504.06534},
  note = {Source identifier: 1504.06534}
}