Ganna Monakova, Oliver Kopp, Frank Leymann, Simon Moser, Klaus Schäfers. Verifying Business Rules Using an SMT Solver for BPEL Processes. In Witold Abramowicz, Leszek A. Maciaszek, Ryszard Kowalczyk, Andreas Speck, editors, Business Process, Services Computing and Intelligent Service Management, Leipzig, Germany, March 23-25, 2009. Volume 147 of LNI, pages 81-94, GI, 2009.
Abstract is missing.