TY  - RPRT
TI  - On Symmetry and Quantification: A New Approach to Verify Distributed Protocols
AU  - Aman Goel
AU  - Karem A. Sakallah
PY  - 2021
DO  - 10.1007/978-3-030-76384-8_9
UR  - https://arxiv.org/abs/2103.14831
ID  - 2103.14831
ER  -