TY  - RPRT
TI  - Towards Efficient Verification of Population Protocols
AU  - Michael Blondin
AU  - Javier Esparza
AU  - Stefan Jaax
AU  - Philipp J. Meyer
PY  - 2018
DO  - 10.1145/3087801.3087816
UR  - https://arxiv.org/abs/1703.04367
ID  - 1703.04367
ER  -