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{Russo:2002,
author = {Russo, A and Miller, R and Kramer, J},
pages = {22--37},
publisher = {Springer Verlag},
title = {An Abductive Approach for Analysing Event-Based Requirements Specifications.},
year = {2002}
}

Download

RIS format (EndNote, RefMan)

TY  - CPAPER
AU  - Russo,A
AU  - Miller,R
AU  - Kramer,J
EP  - 37
PB  - Springer Verlag
PY  - 2002///
SP  - 22
TI  - An Abductive Approach for Analysing Event-Based Requirements Specifications.
ER  -

Download