@misc{indiciaea1ea0c9207dc,
  title = {A Sufficient Condition for Gaining Belief in Byzantine Fault-Tolerant Distributed Systems},
  author = {Thomas Schlögl and Ulrich Schmid},
  year = {2023},
  doi = {10.4204/eptcs.379.37},
  url = {https://arxiv.org/abs/2304.00389},
  note = {Source identifier: 2304.00389}
}