TY  - RPRT
TI  - The Complexity of Verifying Population Protocols
AU  - Javier Esparza
AU  - Stefan Jaax
AU  - Mikhail Raskin
AU  - Chana Weil-Kennedy
PY  - 2021
UR  - https://arxiv.org/abs/1912.06578
ID  - 1912.06578
ER  -