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]

The computer journal
Band: 50
Ausgabe: 3
Seite(n): 294-314

Identifikationsnummern