TY  - RPRT
TI  - Automatic Analysis of Expected Termination Time for Population Protocols
AU  - Michael Blondin
AU  - Javier Esparza
AU  - Antonín Kučera
PY  - 2018
UR  - https://arxiv.org/abs/1807.00331
ID  - 1807.00331
ER  -