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

@misc{Uchitel:2000,
author = {Uchitel, S and Chatley, R and Kramer, J and Magee, J},
title = {The labelled transition system analyzer and plugins},
type = {Software},
url = {http://www.doc.ic.ac.uk/ltsa},
year = {2000}
}

Download

RIS format (EndNote, RefMan)

TY  - GEN
AU  - Uchitel,S
AU  - Chatley,R
AU  - Kramer,J
AU  - Magee,J
PY  - 2000///
TI  - The labelled transition system analyzer and plugins
UR  - http://www.doc.ic.ac.uk/ltsa
ER  -

Download