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

Czepa, ChristophTran, HuyZdun, UweTran, Thanh Thi KimWeiss, ErhardRuhsam, Christoph2021-07-192021-07-192016https://dl.gi.de/handle/20.500.12116/36854Plausibility Checking of Formal Business Process Specifications in Linear Temporal Logic.Text/Journal Article