Verification of Quantitative Temporal Compliance Requirements in Process Descriptions Over Event Logs

von Barrientos, Marisol
Veröffentlicht in CAiSE (35. : 2023 : Saragossa) Advanced Information Systems Engineering (2023)