Professor Jeff Magee

Faculty of Engineering, Department of Computing

Emeritus Professor of Computing

Contact

+44 (0)20 7594 8601j.magee Website

Assistant

Mrs Clare Pearson +44 (0)20 7594 8601

Location

2.06Faculty BuildingSouth Kensington Campus

Summary

Publications

Citation

BibTex format

@inproceedings{Foster:2006,
author = {Foster, H and Uchitel, S and Magee, JN and Kramer, J},
title = {WS-Engineer: A Tool for Model-Based Verification of Web Service Compositions and Choreography},
url = {http://pubs.doc.ic.ac.uk/ws-engineer-icse},
year = {2006}
}

Download

RIS format (EndNote, RefMan)

TY  - CPAPER
AU  - Foster,H
AU  - Uchitel,S
AU  - Magee,JN
AU  - Kramer,J
PY  - 2006///
TI  - WS-Engineer: A Tool for Model-Based Verification of Web Service Compositions and Choreography
UR  - http://pubs.doc.ic.ac.uk/ws-engineer-icse
ER  -

Download