A Temporal Logic-Based Measurement Framework for Process Mining.

Alessio Cecconi, Giuseppe De Giacomo, Claudio Di Ciccio, Fabrizio Maria Maggi, Jan Mendling

Browse the full ICPM paper archive.