Verification problems in conceptual workflow specifications. (1998)

by A Hofstede, M Orlowska, J Rajapakse
Venue:Data & Knowledge Engineering,