Plausibility Checking of Formal Business Process Specifications in Linear Temporal Logic (Extended Abstract) - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

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]

This author has not been identified. Look up 'Christoph Czepa' in GoogleThis author has not been identified. Look up 'Huy Tran' in GoogleThis author has not been identified. Look up 'Uwe Zdun' in GoogleThis author has not been identified. Look up 'Thanh Thi Kim Tran' in GoogleThis author has not been identified. Look up 'Erhard Weiss' in GoogleThis author has not been identified. Look up 'Christoph Ruhsam' in Google

runs on WebDSL