TY  - RPRT
TI  - A Case Study in Analytic Protocol Analysis in ACL2
AU  - Max von Hippel
AU  - Panagiotis Manolios
AU  - Kenneth L. McMillan
AU  - Cristina Nita-Rotaru
AU  - Lenore Zuck
PY  - 2023
DO  - 10.4204/eptcs.393.6
UR  - https://arxiv.org/abs/2311.08855
ID  - 2311.08855
ER  -