Browse by Publisher
![[up]](/style/images/multi_up.png)
Up a levelJump to: Reports and Papers
Number of items: 3.
Reports and Papers
| Gomez, Rodolfo and Bowman, Howard (2006) Compositional Detection of Zeno Behaviour in Timed Automata. Technical report. Computing Laboratory, CT2 7NF Canterbury, Kent, UK (KAR id:14389) |
|
| Carter, Janet (2002) The Value of Guided Revision. Technical report. Computing Laboratory, University of Kent, Canterbury, CT2 7NF, UK. (KAR id:13747) |
|
| Smith, Robert P. and Kent, Stuart (2002) An Experiment in Model Driven Architecture for e-Enterprise Systems. Technical report. Computing Laboratory, University of Kent at Canterbury (KAR id:13823) |
|
