Auflistung nach Autor "Moser, Simon"
Anzeige der Dokumente 1-1 von 1
-
Verifying business rules using an SMT solver for BPEL processes
Monakova, Ganna; Kopp, Oliver; Leymann, Frank; Moser, Simon; Schäfers, Klaus
81-94
Anzeige der Dokumente 1-1 von 1
Monakova, Ganna; Kopp, Oliver; Leymann, Frank; Moser, Simon; Schäfers, Klaus
81-94