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)
Contribution to a book, Contribution to a conference proceedings

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
Page(s)/Article-Nr.: 130-147