Räim, Margus, Di Ciccio, Claudio, Maria Maggi, Fabrizio, Mecella, Massimo, Mendling, Jan. 2014. Log-Based Understanding of Business Processes through Temporal Logic Query Checking. In On the Move to Meaningful Internet Systems: {OTM} 2014 Conferences - Confederated International Conferences: CoopIS, and ODBASE 2014, Hrsg. Robert Meersman, Hervé Panetto, Tharam Dillon, Michele Missikoff, Lin Liu, Oscar Pastor, Alfredo Cuzzocrea, Timos Sellis, 75-92. Amantea, Italy: Springer.

RIS

BibTeX

Publication's profile

Status of publication	Published
Affiliation	WU
Type of publication	Contribution to conference proceedings
Language	English
Title	Log-Based Understanding of Business Processes through Temporal Logic Query Checking
Title of whole publication	On the Move to Meaningful Internet Systems: {OTM} 2014 Conferences - Confederated International Conferences: CoopIS, and ODBASE 2014
Editor	Robert Meersman, Hervé Panetto, Tharam Dillon, Michele Missikoff, Lin Liu, Oscar Pastor, Alfredo Cuzzocrea, Timos Sellis
Page from	75
Page to	92
Location	Amantea, Italy
Publisher	Springer
Year	2014
URL	http://dx.doi.org/10.1007/978-3-662-45563-0_5

Projects: European Wide Service Platform for Green European Transportation
People: Di Ciccio, Claudio (Details); Mendling, Jan (Details)
External: Maria Maggi, Fabrizio; Mecella, Massimo; Räim, Margus
Organization: Applied Information Technology with Focus on IT in Organization (Details)
Research areas (ÖSTAT Classification 'Statistik Austria'): 1105 Computer software (Details); 1108 Informatics (Details); 1109 Information and data processing (Details); 1122 Artificial intelligence (Details); 1127 Information science (Details); 1161 Human-computer interaction (Details); 5367 Management information systems (Details)

Google Scholar: Search