Process mining and verification of properties : an approach based on temporal logic

W.M.P. Aalst, van der, H.T. Beer, de, B.F. Dongen, van

Research output: Book/Report › Report › Academic

711 Downloads (Pure)

Original language	English
Place of Publication	Eindhoven
Publisher	Technische Universiteit Eindhoven
Number of pages	18
ISBN (Print)	90-386-0526-9
Publication status	Published - 2005

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

Access to Document

@book{61998ba70a26462e813d7304e8bae2ac,

title = "Process mining and verification of properties : an approach based on temporal logic",

author = "{Aalst, van der}, W.M.P. and {Beer, de}, H.T. and {Dongen, van}, B.F.",

year = "2005",

language = "English",

isbn = "90-386-0526-9",

series = "BETA publicatie : working papers",

publisher = "Technische Universiteit Eindhoven",

}

TY - BOOK

T1 - Process mining and verification of properties : an approach based on temporal logic

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

AU - Beer, de, H.T.

AU - Dongen, van, B.F.

PY - 2005

Y1 - 2005

M3 - Report

SN - 90-386-0526-9

T3 - BETA publicatie : working papers

BT - Process mining and verification of properties : an approach based on temporal logic

PB - Technische Universiteit Eindhoven

CY - Eindhoven

ER -