APA (7th ed.) Citation

Nenzi, L., Bartocci, E., Bortolussi, L., Silvetti, S., & Loreti, M. (2023). MoonLight: A lightweight tool for monitoring spatio-temporal properties. International Journal on Software Tools for Technology Transfer, 25(4), 503. https://doi.org/10.1007/s10009-023-00710-5

Chicago Style (17th ed.) Citation

Nenzi, Laura, Ezio Bartocci, Luca Bortolussi, Simone Silvetti, and Michele Loreti. "MoonLight: A Lightweight Tool for Monitoring Spatio-temporal Properties." International Journal on Software Tools for Technology Transfer 25, no. 4 (2023): 503. https://doi.org/10.1007/s10009-023-00710-5.

MLA (9th ed.) Citation

Nenzi, Laura, et al. "MoonLight: A Lightweight Tool for Monitoring Spatio-temporal Properties." International Journal on Software Tools for Technology Transfer, vol. 25, no. 4, 2023, p. 503, https://doi.org/10.1007/s10009-023-00710-5.