Giuseppe De Giacomo, P.F. (2021). HyperLDLf: a Logic for Checking Properties of Finite Traces Process Logs.
File in questo prodotto:
Eventuali allegati, non sono esposti
I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.