ProfessorJeffKramer

Faculty of Engineering, Department of Computing

Honorary Emeritus Professor of Distributed Computing

Contact

j.kramer Website

Assistant

Mrs Bridget Gundry +44 (0)20 7594 1245

Location

571Huxley BuildingSouth Kensington Campus

Summary

Publications

Citation

BibTex format

@inproceedings{Uchitel:2003,
author = {Uchitel, S and Kramer, J and Magee, J},
pages = {19--27},
publisher = {ACM},
title = {Behaviour model elaboration using partial labelled transition systems},
year = {2003}
}

Download

RIS format (EndNote, RefMan)

TY  - CPAPER
AU  - Uchitel,S
AU  - Kramer,J
AU  - Magee,J
EP  - 27
PB  - ACM
PY  - 2003///
SN  - 0163-5948
SP  - 19
TI  - Behaviour model elaboration using partial labelled transition systems
ER  -

Download