APA (7th ed.) Citation

Nenzi, L., Bartocci, E., Bortolussi, L., & Loreti, M. (2022). A Logic for Monitoring Dynamic Networks of Spatially-distributed Cyber-Physical Systems. Logical methods in computer science, 18, Issue 1, . https://doi.org/10.46298/lmcs-18(1:4)2022

Chicago Style (17th ed.) Citation

Nenzi, L., E. Bartocci, L. Bortolussi, and M. Loreti. "A Logic for Monitoring Dynamic Networks of Spatially-distributed Cyber-Physical Systems." Logical Methods in Computer Science 18, Issue 1 (2022). https://doi.org/10.46298/lmcs-18(1:4)2022.

MLA (9th ed.) Citation

Nenzi, L., et al. "A Logic for Monitoring Dynamic Networks of Spatially-distributed Cyber-Physical Systems." Logical Methods in Computer Science, vol. 18, Issue 1, 2022, https://doi.org/10.46298/lmcs-18(1:4)2022.