TY  - RPRT
TI  - Model Checkers Are Cool: How to Model Check Voting Protocols in Uppaal
AU  - Wojciech Jamroga
AU  - Yan Kim
AU  - Damian Kurpiewski
AU  - Peter Y. A. Ryan
PY  - 2023
UR  - https://arxiv.org/abs/2007.12412
ID  - 2007.12412
ER  -