Chun Ouyang, Eric Verbeek, Wil M. P. van der Aalst, Stephan Breutel, Marlon Dumas, Arthur H. M. ter Hofstede. WofBPEL: A Tool for Automated Analysis of BPEL Processes. In Boualem Benatallah, Fabio Casati, Paolo Traverso, editors, Service-Oriented Computing - ICSOC 2005, Third International Conference, Amsterdam, The Netherlands, December 12-15, 2005, Proceedings. Volume 3826 of Lecture Notes in Computer Science, pages 484-489, Springer, 2005. [doi]
Abstract is missing.