Log-Based Understanding of Business Processes through Temporal Logic Query Checking

Margus Räim, Claudio Di Ciccio, Fabrizio Maria Maggi, Massimo Mecella, Jan Mendling

Publication: Chapter in book/Conference proceedingContribution to conference proceedings

Original languageEnglish
Title of host publicationOn the Move to Meaningful Internet Systems: {OTM} 2014 Conferences - Confederated International Conferences: CoopIS, and ODBASE 2014
Editors Robert Meersman, Hervé Panetto, Tharam Dillon, Michele Missikoff, Lin Liu, Oscar Pastor, Alfredo Cuzzocrea, Timos Sellis
Place of PublicationAmantea, Italy
Pages75 - 92
Publication statusPublished - 1 Apr 2014

Austrian Classification of Fields of Science and Technology (ÖFOS)

  • 102
  • 502050 Business informatics
  • 102022 Software development
  • 102001 Artificial intelligence
  • 102013 Human-computer interaction

Cite this