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]

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): 130-147