Verification of the SAP Reference Models Using EPC Reduction, State-space Analysis, and Invariants

van Dongen, B. F.; Jansen-Vullers, M. H.; Verbeek, H. M. W.; van der Aalst, Wil M. P.

Amsterdam [u.a.] : Elsevier Science (2007)
Fachzeitschriftenartikel

In: Computers in industry
Band: 58
Heft: 6
Seite(n)/Artikel-Nr.: 578-601

Einrichtungen

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