Klaus Schäfers

	2009
1		Ganna Monakova, Oliver Kopp, Frank Leymann, Simon Moser, Klaus Schäfers: Verifying Business Rules Using an SMT Solver for BPEL Processes. BPSC 2009: 81-94

Coauthor Index

1	Oliver Kopp	[1]
2	Frank Leymann	[1]
3	Ganna Monakova	[1]
4	Simon Moser	[1]