Auflistung nach Autor "Weiss, Erhard"
Anzeige der Dokumente 1-1 von 1
-
Plausibility Checking of Formal Business Process Specifications in Linear Temporal Logic.
Czepa, Christoph; Tran, Huy; Zdun, Uwe; Tran, Thanh Thi Kim; Weiss, Erhard; Ruhsam, Christoph
49-52