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

@article{Sibay:2013:10.1109/TSE.2012.62,
author = {Sibay, G and Braberman, V and Uchitel, S and Kramer, J},
doi = {10.1109/TSE.2012.62},
journal = {IEEE Transactions on Software Engineering},
title = {Synthesising Modal Transition Systems from Triggered Scenarios},
url = {http://dx.doi.org/10.1109/TSE.2012.62},
year = {2013}
}

Download

RIS format (EndNote, RefMan)

TY  - JOUR
AU  - Sibay,G
AU  - Braberman,V
AU  - Uchitel,S
AU  - Kramer,J
DO  - 10.1109/TSE.2012.62
PY  - 2013///
SN  - 0098-5589
TI  - Synthesising Modal Transition Systems from Triggered Scenarios
T2  - IEEE Transactions on Software Engineering
UR  - http://dx.doi.org/10.1109/TSE.2012.62
UR  - http://hdl.handle.net/10044/1/14424
ER  -

Download