Jesús Arias-Fisteus, Luis Sánchez Fernández, Carlos Delgado Kloos. Formal Verification of BPEL4WS Business Collaborations. In Kurt Bauknecht, Martin Bichler, Birgit Pröll, editors, E-Commerce and Web Technologies, 5th International Conference, EC-Web 2004, Zaragoza, Spain, August 31-September 3, 2004, Proceedings. Volume 3182 of Lecture Notes in Computer Science, pages 76-85, Springer, 2004. [doi]
Abstract is missing.