Automata-Theoretic Techniques for Declarative Process Mining

Type
Publication
Sapienza University of Rome