Klaus Schäfers

According to our database, Klaus Schäfers authored at least 1 paper in 2009.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2009

Verifying Business Rules Using an SMT Solver for BPEL Processes.

Ganna Monakova, Oliver Kopp, Frank Leymann, Simon Moser, Klaus Schäfers

Proceedings of the Business Process, 2009