Correctness Ensuring Process Configuration: An Approach Based on Partner Synthesis

van der Aalst, Wil M. P.; Lohmann, N.; Rosa, M. La; Xu, J.

Springer (2010)
Buchbeitrag, Beitrag zu einem Tagungsband

In: Business Process Management (BPM 2010)
Seite(n)/Artikel-Nr.: 95-111

Einrichtungen

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