Marisol Barrientos, Karolin Winter, Juergen Mangler, Stefanie Rinderle-Ma. Verification of Quantitative Temporal Compliance Requirements in Process Descriptions Over Event Logs. In Marta Indulska, Iris Reinhartz-Berger, Carlos Cetina, Oscar Pastor 0001, editors, Advanced Information Systems Engineering - 35th International Conference, CAiSE 2023, Zaragoza, Spain, June 12-16, 2023, Proceedings. Volume 13901 of Lecture Notes in Computer Science, pages 417-433, Springer, 2023. [doi]
Abstract is missing.