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.

Eindhoven University of Technology, Eindhoven (2005)
Buch

Einrichtungen

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