Professor Jeff Magee

Faculty of Engineering, Department of Computing

Emeritus Professor of Computing

Contact

+44 (0)20 7594 8601j.magee Website

Assistant

Mrs Clare Pearson +44 (0)20 7594 8601

Location

2.06Faculty BuildingSouth Kensington Campus

Summary

Publications

Citation

BibTex format

@inproceedings{Uchitel:2005,
author = {Uchitel, S},
pages = {70--79},
publisher = {ACM},
title = {Fluent Temporal Logic for Discrete-Time Event-Based Models},
url = {http://hdl.handle.net/10044/1/5890},
year = {2005}
}

Download

RIS format (EndNote, RefMan)

TY  - CPAPER
AU  - Uchitel,S
EP  - 79
PB  - ACM
PY  - 2005///
SP  - 70
TI  - Fluent Temporal Logic for Discrete-Time Event-Based Models
UR  - http://hdl.handle.net/10044/1/5890
ER  -

Download