Home » Publication » 23679

Dettaglio pubblicazione

2021, IJCAI 2021, Pages 1859-1865

HyperLDLf: a Logic for Checking Properties of Finite Traces Process Logs (04b Atto di convegno in volume)

De Giacomo Giuseppe, Felli Paolo, Montali Marco, Perelli Giuseppe

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