Dr. Sebastian Uchitel

Faculty of Engineering, Department of Computing

Reader in Software Engineering

Contact

+44 (0)20 7594 8269s.uchitel Website

Location

573Huxley BuildingSouth Kensington Campus

Summary

Publications

Citation

BibTex format

@inproceedings{Foster:2003,
author = {Foster, H and Uchitel, S and Magee, J and Kramer, J},
pages = {152--161},
publisher = {IEEE Computer Soc},
title = {Model-based verification of web service compositions},
year = {2003}
}

Download

RIS format (EndNote, RefMan)

TY  - CPAPER
AU  - Foster,H
AU  - Uchitel,S
AU  - Magee,J
AU  - Kramer,J
EP  - 161
PB  - IEEE Computer Soc
PY  - 2003///
SP  - 152
TI  - Model-based verification of web service compositions
ER  -

Download