Formalization and Verification of Event-driven Process Chains

van der Aalst, Wil M. P.

Eindhoven University of Technology, Eindhoven (1998) [Buch]

Identifikationsnummern

  • REPORT NUMBER: RWTH-CONV-222883