Computing Publications

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.