@article{DBLP:journals/corr/abs-1905-07805,
  author    = {Idan Berkovits and
               Marijana Lazic and
               Giuliano Losa and
               Oded Padon and
               Sharon Shoham},
  title     = {Verification of Threshold-Based Distributed Algorithms by Decomposition
               to Decidable Logics},
  journal   = {CoRR},
  volume    = {abs/1905.07805},
  year      = {2019},
  url       = {http://arxiv.org/abs/1905.07805},
  archivePrefix = {arXiv},
  eprint    = {1905.07805},
  timestamp = {Tue, 28 May 2019 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/journals/corr/abs-1905-07805.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}

{"_id":"ujZe5PsiD2D2kEMjF","bibbaseid":"berkovits-lazic-losa-padon-shoham-verificationofthresholdbaseddistributedalgorithmsbydecompositiontodecidablelogics-2019","authorIDs":[],"author_short":["Berkovits, I.","Lazic, M.","Losa, G.","Padon, O.","Shoham, S."],"bibdata":{"bibtype":"article","type":"article","author":[{"firstnames":["Idan"],"propositions":[],"lastnames":["Berkovits"],"suffixes":[]},{"firstnames":["Marijana"],"propositions":[],"lastnames":["Lazic"],"suffixes":[]},{"firstnames":["Giuliano"],"propositions":[],"lastnames":["Losa"],"suffixes":[]},{"firstnames":["Oded"],"propositions":[],"lastnames":["Padon"],"suffixes":[]},{"firstnames":["Sharon"],"propositions":[],"lastnames":["Shoham"],"suffixes":[]}],"title":"Verification of Threshold-Based Distributed Algorithms by Decomposition to Decidable Logics","journal":"CoRR","volume":"abs/1905.07805","year":"2019","url":"http://arxiv.org/abs/1905.07805","archiveprefix":"arXiv","eprint":"1905.07805","timestamp":"Tue, 28 May 2019 01:00:00 +0200","biburl":"https://dblp.org/rec/journals/corr/abs-1905-07805.bib","bibsource":"dblp computer science bibliography, https://dblp.org","bibtex":"@article{DBLP:journals/corr/abs-1905-07805,\n author = {Idan Berkovits and\n Marijana Lazic and\n Giuliano Losa and\n Oded Padon and\n Sharon Shoham},\n title = {Verification of Threshold-Based Distributed Algorithms by Decomposition\n to Decidable Logics},\n journal = {CoRR},\n volume = {abs/1905.07805},\n year = {2019},\n url = {http://arxiv.org/abs/1905.07805},\n archivePrefix = {arXiv},\n eprint = {1905.07805},\n timestamp = {Tue, 28 May 2019 01:00:00 +0200},\n biburl = {https://dblp.org/rec/journals/corr/abs-1905-07805.bib},\n bibsource = {dblp computer science bibliography, https://dblp.org}\n}\n\n","author_short":["Berkovits, I.","Lazic, M.","Losa, G.","Padon, O.","Shoham, S."],"key":"DBLP:journals/corr/abs-1905-07805","id":"DBLP:journals/corr/abs-1905-07805","bibbaseid":"berkovits-lazic-losa-padon-shoham-verificationofthresholdbaseddistributedalgorithmsbydecompositiontodecidablelogics-2019","role":"author","urls":{"Paper":"http://arxiv.org/abs/1905.07805"},"downloads":0},"bibtype":"article","biburl":"https://dblp.org/pid/155/8122.bib","creationDate":"2020-07-03T07:57:18.866Z","downloads":0,"keywords":[],"search_terms":["verification","threshold","based","distributed","algorithms","decomposition","decidable","logics","berkovits","lazic","losa","padon","shoham"],"title":"Verification of Threshold-Based Distributed Algorithms by Decomposition to Decidable Logics","year":2019,"dataSources":["4B5A45kn7gtQfwHvT"]}