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

Research output: Book/Report › Report › Academic

88 Downloads (Pure)

Original language	English
Place of Publication	Eindhoven
Publisher	Technische Universiteit Eindhoven
Number of pages	36
ISBN (Print)	90-386-0645-1
Publication status	Published - 2006

Name	BETA publicatie : working papers
Volume	156
ISSN (Print)	1386-9213

Access to Document

@book{28a94b34dd0049d5a32445155ec35739,

title = "Verifying workflows with cancellation regions and OR-joins : an approach based on invariants",

author = "H.M.W. Verbeek and \{Aalst, van der\}, W.M.P. and \{Hofstede, ter\}, A.H.M.",

year = "2006",

language = "English",

isbn = "90-386-0645-1",

series = "BETA publicatie : working papers",

publisher = "Technische Universiteit Eindhoven",

}

TY - BOOK

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

AU - Verbeek, H.M.W.

AU - Aalst, van der, W.M.P.

AU - Hofstede, ter, A.H.M.

PY - 2006

Y1 - 2006

M3 - Report

SN - 90-386-0645-1

T3 - BETA publicatie : working papers

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

PB - Technische Universiteit Eindhoven

CY - Eindhoven

ER -