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 - N.B.
- Conditions for downloading publications from this site.
pubs.doc.ic.ac.uk: built & maintained by Ashok Argent-Katwala.