Auflistung nach Autor "Ruhsam, Christoph"
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