1. Fundamentals of Business Process Management;Dumas,2018
2. Cost-Based Fitness in Conformance Checking;Adriansyah,2011
3. Conformance Checking - Relating Processes and Models;Carmona,2018
4. G. De Giacomo, M.Y. Vardi, Linear Temporal Logic and Linear Dynamic Logic on Finite Traces, in: 23th Int. Conf. on AI (IJCAI’13), 2013.
5. M. de Leoni, F.M. Maggi, W.M.P. van der Aalst, Aligning Event Logs and Declarative Process Models for Conformance Checking, in: 10th Int. Conf. on Business Process Management (BPM 2012), 2012.