TY  - RPRT
TI  - Automating and Mechanizing Cutoff-based Verification of Distributed Protocols
AU  - Shreesha G. Bhat
AU  - Kartik Nagar
PY  - 2022
UR  - https://arxiv.org/abs/2211.15175
ID  - 2211.15175
ER  -