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]
Abstract is missing.