@misc{indiciae94cef57c183f,
  title = {Correctness and Fairness of Tendermint-core Blockchains},
  author = {Yackolley Amoussou-Guenou and Antonella Del Pozzo and Maria Potop-Butucaru and Sara Tucci-Piergiovanni},
  year = {2018},
  url = {https://arxiv.org/abs/1805.08429},
  note = {Source identifier: 1805.08429}
}