Combining a Reachability Graph and a Reduction Rule Approach for Verification of EPCs

Jan Mendling

Combining a Reachability Graph and a Reduction Rule Approach for Verification of EPCs

Jan Mendling

Data, Process and Knowledge Management (Sabou)

Publikation: Beitrag in Buch/Konferenzband › Beitrag in Konferenzband

Originalsprache	Englisch
Titel des Sammelwerks	Proceedings of the BPM Demonstration Program at the Fifth International Conference on Business Process Management (BPM'07. CEUR Workshop Proceedings Volume 272
Herausgeber*innen	Michael Adams, Shazia Wasim Sadiq
Erscheinungsort	Aachen, Germany
Verlag	CEUR Workshop Proceedings
Seiten	24 - 27
ISBN (Print)	ISSN-1613-0073
Publikationsstatus	Veröffentlicht - 1 Dez. 2007

Andere Dateien und Links

http://sunsite.informatik.rwth-aachen.de/Publications/CEUR-WS/Vol-272/BPM07DemoProgramPaper4.pdf

Zitat

@inproceedings{b22fa336a25f48959206a7f44a4bf878,

title = "Combining a Reachability Graph and a Reduction Rule Approach for Verification of EPCs",

author = "Jan Mendling",

year = "2007",

month = dec,

day = "1",

language = "English",

isbn = "ISSN-1613-0073",

pages = "24 -- 27",

editor = "\{Michael Adams, Shazia Wasim Sadiq\}",

booktitle = "Proceedings of the BPM Demonstration Program at the Fifth International Conference on Business Process Management (BPM'07. CEUR Workshop Proceedings Volume 272",

publisher = "CEUR Workshop Proceedings",

}

Combining a Reachability Graph and a Reduction Rule Approach for Verification of EPCs. / Mendling, Jan.
Proceedings of the BPM Demonstration Program at the Fifth International Conference on Business Process Management (BPM'07. CEUR Workshop Proceedings Volume 272. Hrsg. / Michael Adams, Shazia Wasim Sadiq. Aachen, Germany: CEUR Workshop Proceedings, 2007. S. 24 - 27.

Publikation: Beitrag in Buch/Konferenzband › Beitrag in Konferenzband

TY - GEN

T1 - Combining a Reachability Graph and a Reduction Rule Approach for Verification of EPCs

AU - Mendling, Jan

PY - 2007/12/1

Y1 - 2007/12/1

UR - http://sunsite.informatik.rwth-aachen.de/Publications/CEUR-WS/Vol-272/BPM07DemoProgramPaper4.pdf

M3 - Contribution to conference proceedings

SN - ISSN-1613-0073

SP - 24

EP - 27

BT - Proceedings of the BPM Demonstration Program at the Fifth International Conference on Business Process Management (BPM'07. CEUR Workshop Proceedings Volume 272

A2 - Michael Adams, Shazia Wasim Sadiq, null

PB - CEUR Workshop Proceedings

CY - Aachen, Germany

ER -