TY  - RPRT
TI  - On Distributed Runtime Verification by Aggregate Computing
AU  - Giorgio Audrito
AU  - Ferruccio Damiani
AU  - Volker Stolz
AU  - Mirko Viroli
PY  - 2019
DO  - 10.4204/eptcs.302.4
UR  - https://arxiv.org/abs/1908.10743
ID  - 1908.10743
ER  -