Pubblicazioni

Monitoring Constraints and Metaconstraints with Temporal Logics on Finite Traces

2022 - ACM TRANSACTIONS ON SOFTWARE ENGINEERING AND METHODOLOGY
De Giacomo, G.; De Masellis, R.; Maggi, F. M.; Montali, M.

© Università degli Studi di Roma "La Sapienza" - Piazzale Aldo Moro 5, 00185 Roma