%0 Journal Article %1 journals/lmcs/NenziBBL22 %A Nenzi, Laura %A Bartocci, Ezio %A Bortolussi, Luca %A Loreti, Michele %D 2022 %J Log. Methods Comput. Sci. %K dblp %N 1 %T A Logic for Monitoring Dynamic Networks of Spatially-distributed Cyber-Physical Systems. %U http://dblp.uni-trier.de/db/journals/lmcs/lmcs18.html#NenziBBL22 %V 18

@article{journals/lmcs/NenziBBL22, added-at = {2023-01-24T00:00:00.000+0100}, author = {Nenzi, Laura and Bartocci, Ezio and Bortolussi, Luca and Loreti, Michele}, biburl = {https://www.bibsonomy.org/bibtex/277257616b80e409dea766ee33781c266/dblp}, ee = {https://doi.org/10.46298/lmcs-18(1:4)2022}, interhash = {2d9f6f498f345debf1a5a24222f11e07}, intrahash = {77257616b80e409dea766ee33781c266}, journal = {Log. Methods Comput. Sci.}, keywords = {dblp}, number = 1, timestamp = {2024-04-09T01:50:57.000+0200}, title = {A Logic for Monitoring Dynamic Networks of Spatially-distributed Cyber-Physical Systems.}, url = {http://dblp.uni-trier.de/db/journals/lmcs/lmcs18.html#NenziBBL22}, volume = 18, year = 2022 }