Auflistung nach Autor:in "Weiss, Erhard"
1 - 1 von 1
Treffer pro Seite
Sortieroptionen
- ZeitschriftenartikelPlausibility Checking of Formal Business Process Specifications in Linear Temporal Logic.(EMISA Forum: Vol. 36, No. 2, 2016) Czepa, Christoph; Tran, Huy; Zdun, Uwe; Tran, Thanh Thi Kim; Weiss, Erhard; Ruhsam, Christoph