TY  - RPRT
TI  - Succinct Population Protocols for Presburger Arithmetic
AU  - Michael Blondin
AU  - Javier Esparza
AU  - Blaise Genest
AU  - Martin Helfrich
AU  - Stefan Jaax
PY  - 2020
UR  - https://arxiv.org/abs/1910.04600
ID  - 1910.04600
ER  -