Nenzi, L., Bortolussi, L., Ciancia, V., Loreti, M., & Massink, M. (2018). Qualitative and Quantitative Monitoring of Spatio-Temporal Properties with SSTL. Logical methods in computer science, 14, Issue 4(Modal and temporal logics), . https://doi.org/10.23638/LMCS-14(4:2)2018
Chicago-Zitierstil (17. Ausg.)Nenzi, L., L. Bortolussi, V. Ciancia, M. Loreti, und M. Massink. "Qualitative and Quantitative Monitoring of Spatio-Temporal Properties with SSTL." Logical Methods in Computer Science 14, Issue 4, no. Modal and temporal logics (2018). https://doi.org/10.23638/LMCS-14(4:2)2018.
MLA-Zitierstil (9. Ausg.)Nenzi, L., et al. "Qualitative and Quantitative Monitoring of Spatio-Temporal Properties with SSTL." Logical Methods in Computer Science, vol. 14, Issue 4, no. Modal and temporal logics, 2018, https://doi.org/10.23638/LMCS-14(4:2)2018.