WofBPEL: A Tool for Automated Analysis of BPEL Processes

Ouyang, C.; Verbeek, E.; van der Aalst, Wil M. P.; Breutel, S.; Dumas, M.; ter Hofstede, A. H. M.

Berlin Heidelberg : Springer-Verlag GmbH (2005)
Contribution to a book, Contribution to a conference proceedings

In: Service-Oriented Computing ? ICSOC 2005 : Third International Conference, Amsterdam, The Netherlands, December 12-15, 2005, Proceedings / edited by Boualem Benatallah, Fabio Casati, Paolo Traverso
Page(s)/Article-Nr.: 484-489


  • Department of Computer Science [120000]
  • Chair of Computer Science 9 (Process and Data Science) [122510]