TY  - CONF
TI  - Log-Based Understanding of Business Processes through Temporal Logic
 Query Checking
AF  - On the Move to Meaningful Internet Systems: {OTM} 2014 Conferences - Confederated International Conferences: CoopIS, and ODBASE 2014
PP  - Amantea, Italy
PB  - Springer
SP  - 75
EP  - 92
UR  - http://dx.doi.org/10.1007/978-3-662-45563-0_5
PY  - 2014-04-01
AU  - Räim, Margus 
AU  - Di Ciccio, Claudio 
AU  - Maria Maggi, Fabrizio 
AU  - Mecella, Massimo 
AU  - Mendling, Jan 
ER -