Verification Problems in Conceptual Workflow Specifications.

Arthur H. M. ter Hofstede, Maria E. Orlowska, Jayantha Rajapakse

Browse the full ER paper archive.