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

Onderzoeksoutput: Boek/rapport › Rapport › Academic

103 Downloads (Pure)

Originele taal-2	Engels
Plaats van productie	Eindhoven
Uitgeverij	Technische Universiteit Eindhoven
Aantal pagina's	36
ISBN van geprinte versie	90-386-0645-1
Status	Gepubliceerd - 2006

Naam	BETA publicatie : working papers
Volume	156
ISSN van geprinte versie	1386-9213

Toegang tot 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 -