Process Mining and Verification of Properties: An Approach based on Temporal Logic

van der Aalst, Wil M. P.; de Beer, H. T.; van Dongen, B. F.

Berlin [u.a.] : Springer (2005)
Buchbeitrag, Beitrag zu einem Tagungsband

In: On the move to meaningful Internet systems 2005: CoopIS, DOA, and ODBASE : OTM Confederated International Conferences, CoopIS, DOA, and ODBASE 2005, Agia Napa, Cyprus, October 31 - November 4, 2005; proceedings / Robert Meersman; Zahir Tari ... (eds.). - Pt. 2
Seite(n)/Artikel-Nr.: 130-147

Einrichtungen

  • Fachgruppe Informatik [120000]
  • Lehrstuhl für Informatik 9 (Process and Data Science) [122510]

Identifikationsnummern