Verifying Workflows with Cancellation Regions and OR-joins: An Approach Based on Relaxed Soundness and Invariants

Verbeek, H. M. W.; van der Aalst, Wil M. P.; ter Hofstede, A. H. M.

Oxford : Oxford Univ. Press (2007)
Fachzeitschriftenartikel

In: The computer journal
Band: 50
Heft: 3
Seite(n)/Artikel-Nr.: 294-314

Identifikationsnummern