Computing Publications

Publications Home » WS-Engineer: A Tool for Model-Bas...

WS-Engineer: A Tool for Model-Based Verification of Web Service Compositions and Choreography

Howard Foster, Sebastian Uchitel, Jeff Magee, Jeff Kramer

Conference or Workshop Paper
IEEE International Conference on Software Engineering (ICSE 2006), Shanghai, China, May 2006.
May, 2006
PDF of full publication (298 kilobytes)
(need help viewing PDF files?)
BibTEX file for the publication
Conditions for downloading publications from this site. built & maintained by Ashok Argent-Katwala.