Christoph Czepa, Huy Tran, Uwe Zdun, Thanh Tran Thi Kim, Erhard Weiss, Christoph Ruhsam. Plausibility Checking of Formal Business Process Specifications in Linear Temporal Logic. In Sergio España, Mirjana Ivanovic, Milos Savic, editors, Proceedings of the CAiSE'16 Forum, at the 28th International Conference on Advanced Information Systems Engineering (CAiSE 2016), Ljubljana, Slovenia, June 13-17, 2016. Volume 1612 of CEUR Workshop Proceedings, pages 1-8, CEUR-WS.org, 2016. [doi]
Abstract is missing.