PROOFS: formalisms and methods

van der Aalst, Wil M. P.; van Hee, K. M.; Trèves, N.; Giovanni, R. di

TUE-TR-0035-V4.0-WP1 (1993) [Buch]

Identifikationsnummern

  • REPORT NUMBER: RWTH-CONV-220528