TY  - RPRT
TI  - Verification of Threshold-Based Distributed Algorithms by Decomposition to Decidable Logics
AU  - Idan Berkovits
AU  - Marijana Lazic
AU  - Giuliano Losa
AU  - Oded Padon
AU  - Sharon Shoham
PY  - 2019
UR  - https://arxiv.org/abs/1905.07805
ID  - 1905.07805
ER  -