Verifying workflows with cancellation regions and OR-joins : an approach based on invariants

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

Research output: Book/ReportReportAcademic

27 Downloads (Pure)
Original languageEnglish
Place of PublicationEindhoven
PublisherTechnische Universiteit Eindhoven
Number of pages36
ISBN (Print)90-386-0645-1
Publication statusPublished - 2006

Publication series

NameBETA publicatie : working papers
Volume156
ISSN (Print)1386-9213

Cite this