Christoph Czepa, Huy Tran, Uwe Zdun, Thanh Thi Kim Tran, Erhard Weiss, Christoph Ruhsam. Plausibility Checking of Formal Business Process Specifications in Linear Temporal Logic (Extended Abstract). In Jan Mendling, Stefanie Rinderle-Ma, editors, Proceedings of the 7th International Workshop on Enterprise Modeling and Information Systems Architectures, EMISA 2016: Fachgruppentreffen der GI-Fachgruppe Entwicklungsmethoden für Informationssysteme und deren Anwendung, Vienna, Austria, October 3-4, 2016. Volume 1701 of CEUR Workshop Proceedings, pages 64-67, CEUR-WS.org, 2016. [doi]
@inproceedings{CzepaTZTWR16,
title = {Plausibility Checking of Formal Business Process Specifications in Linear Temporal Logic (Extended Abstract)},
author = {Christoph Czepa and Huy Tran and Uwe Zdun and Thanh Thi Kim Tran and Erhard Weiss and Christoph Ruhsam},
year = {2016},
url = {http://ceur-ws.org/Vol-1701/paper16.pdf},
researchr = {https://researchr.org/publication/CzepaTZTWR16},
cites = {0},
citedby = {0},
pages = {64-67},
booktitle = {Proceedings of the 7th International Workshop on Enterprise Modeling and Information Systems Architectures, EMISA 2016: Fachgruppentreffen der GI-Fachgruppe Entwicklungsmethoden für Informationssysteme und deren Anwendung, Vienna, Austria, October 3-4, 2016},
editor = {Jan Mendling and Stefanie Rinderle-Ma},
volume = {1701},
series = {CEUR Workshop Proceedings},
publisher = {CEUR-WS.org},
}