Browse by Publisher
Number of items: 3.
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) |