TY - RPRT TI - A Sufficient Condition for Gaining Belief in Byzantine Fault-Tolerant Distributed Systems AU - Thomas Schlögl AU - Ulrich Schmid PY - 2023 DO - 10.4204/eptcs.379.37 UR - https://arxiv.org/abs/2304.00389 ID - 2304.00389 ER -