David Kuhlen, Andreas Speck. Business process analysis by model checking. In Paolo Ceravolo, Stefanie Rinderle-Ma, editors, Proceedings of the 5th International Symposium on Data-driven Process Discovery and Analysis (SIMPDA 2015), Vienna, Austria, December 9-11, 2015. Volume 1527 of CEUR Workshop Proceedings, pages 154-170, CEUR-WS.org, 2015. [doi]
@inproceedings{KuhlenS15,
title = {Business process analysis by model checking},
author = {David Kuhlen and Andreas Speck},
year = {2015},
url = {http://ceur-ws.org/Vol-1527/paper15.pdf},
researchr = {https://researchr.org/publication/KuhlenS15},
cites = {0},
citedby = {0},
pages = {154-170},
booktitle = {Proceedings of the 5th International Symposium on Data-driven Process Discovery and Analysis (SIMPDA 2015), Vienna, Austria, December 9-11, 2015},
editor = {Paolo Ceravolo and Stefanie Rinderle-Ma},
volume = {1527},
series = {CEUR Workshop Proceedings},
publisher = {CEUR-WS.org},
}