Verification of Quantitative Temporal Compliance Requirements in Process Descriptions Over Event Logs
- Marisol Barrientos
- , Karolin Winter
- , Juergen Mangler
- , Stefanie Rinderle-Ma
- Technical University of Munich
Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review
7
Scopus
citations