TY  - RPRT
TI  - A Logic for Monitoring Dynamic Networks of Spatially-distributed Cyber-Physical Systems
AU  - L. Nenzi
AU  - E. Bartocci
AU  - L. Bortolussi
AU  - M. Loreti
PY  - 2022
DO  - 10.46298/lmcs-18(1:4)2022
UR  - https://arxiv.org/abs/2105.11400
ID  - 2105.11400
ER  -