MoonLight: a lightweight tool for monitoring spatio-temporal properties
Crossref DOI link: https://doi.org/10.1007/s10009-023-00710-5
Published Online: 2023-06-22
Published Print: 2023-08
Update policy: https://doi.org/10.1007/springer_crossmark_policy
Nenzi, Laura
Bartocci, Ezio
Bortolussi, Luca
Silvetti, Simone
Loreti, Michele
Funding for this research was provided by:
Università degli Studi di Trieste
Text and Data Mining valid from 2023-06-22
Version of Record valid from 2023-06-22
Article History
Accepted: 30 May 2023
First Online: 22 June 2023