Publications Home » Model-based verification of web s...
Model-based verification of web service compositions
Howard Foster, Sebastian Uchitel, Jeff Magee, Jeff Kramer
- Conference or Workshop Paper
- 18th IEEE international conference on automated software engineering, Montreal, Canada, 2003
- 2003
- IEEE Computer Soc
- ISBN 0-7695-2035-9
BibTEX file for the publication
pubs.doc.ic.ac.uk: built & maintained by Ashok Argent-Katwala.