Klaus Schäfers

Publication Activity (10 Years)

Years Active: 2009-2009
Publications (10 Years): 0

Publications

Ganna Monakova, Oliver Kopp, Frank Leymann, Simon Moser, Klaus Schäfers
Verifying Business Rules Using an SMT Solver for BPEL Processes. BPSC (2009)