Plausibility Checking of Formal Business Process Specifications in Linear Temporal Logic.

Christoph Czepa, Huy Tran, Uwe Zdun, Thanh Tran Thi Kim, Erhard Weiss, Christoph Ruhsam

Browse the full CaiSE paper archive.