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

Marisol Barrientos, Karolin Winter, Juergen Mangler, Stefanie Rinderle-Ma

Browse the full CaiSE paper archive.