@misc{indiciae5aace5c13600,
  title = {A Logic for Monitoring Dynamic Networks of Spatially-distributed Cyber-Physical Systems},
  author = {L. Nenzi and E. Bartocci and L. Bortolussi and M. Loreti},
  year = {2022},
  doi = {10.46298/lmcs-18(1:4)2022},
  url = {https://arxiv.org/abs/2105.11400},
  note = {Source identifier: 2105.11400}
}