@misc{indiciae4d055b02b46c,
  title = {Verification of Threshold-Based Distributed Algorithms by Decomposition to Decidable Logics},
  author = {Idan Berkovits and Marijana Lazic and Giuliano Losa and Oded Padon and Sharon Shoham},
  year = {2019},
  url = {https://arxiv.org/abs/1905.07805},
  note = {Source identifier: 1905.07805}
}