TY  - RPRT
TI  - Towards automated verification of multi-party consensus protocols
AU  - Ivan Fedotov
AU  - Anton Khritankov
AU  - Artem Barger
PY  - 2021
DO  - 10.1145/3520084.3520100
UR  - https://arxiv.org/abs/2112.02397
ID  - 2112.02397
ER  -