EOTLAB

Publications

Back to all publications

Konferenzpaper · 2019

Checking Business Process Models for Compliance - Comparing Graph Matching and Temporal Logic

Dennis M. Riehle

In Business Process Management Workshops: BPM 2018 International Workshops, Sydney, NSW, Australia, September 9-14, 2018, Revised Papers

DOI

Cite As

Riehle, D. M. (2019). Checking Business Process Models for Compliance - Comparing Graph Matching and Temporal Logic. Business Process Management Workshops: BPM 2018 International Workshops, Sydney, NSW, Australia, September 9-14, 2018, Revised Papers, 403–415. https://doi.org/10.1007/978-3-030-11641-5_32

BibTeX

@inproceedings{Riehle2019Checking,
	address = {Gorgan},
	author = {Riehle, Dennis M.},
	booktitle = {Business {Process} {Management} {Workshops}: BPM 2018 {International} {Workshops}, {Sydney}, {NSW}, {Australia}, {September} 9-14, 2018, {Revised} {Papers}},
	doi = {10.1007/978-3-030-11641-5_32},
	isbn = {978-3-030-11640-8},
	year = {2019},
	pages = {403--415},
	organization = {{Gorgan University of Agricultural Sciences and Natural Resources}},
	title = {Checking {Business} {Process} {Models} for {Compliance} - {Comparing} {Graph} {Matching} and {Temporal} {Logic}},
	url = {https://doi.org/10.1007/978-3-030-11641-5_32},
}