© University of Kent - Contact | Feedback | Legal
The University of Kent, Canterbury, Kent, CT2 7NZ, T +44 (0)1227 764000
A compositional translation of Timed Automata with Deadlines to Uppaal Timed Automata
Rodolfo Gomez
In Proc. of the 7th Int. Conf. on Formal Modelling and Analysis of Timed Systems (FORMATS'09), 14-16 September, Budapest, Hungary, LNCS 5813, pages 179-194. Springer, September 2009.Bibtex Record
@inproceedings{2941,
author = {Rodolfo Gomez},
title = {A Compositional Translation of {T}imed {A}utomata with {D}eadlines to {U}ppaal {T}imed {A}utomata},
month = {September},
year = {2009},
pages = {179-194},
keywords = {Urgent actions, Timed Automata with Deadlines, Uppaal},
note = {},
doi = {},
url = {http://www.cs.kent.ac.uk/pubs/2009/2941},
publication_type = {inproceedings},
submission_id = {26208_1248160149},
booktitle = {Proc. of the 7th Int. Conf. on Formal Modelling and Analysis of Timed Systems (FORMATS'09), 14-16 September, Budapest, Hungary },
publisher = {Springer},
series = {LNCS 5813},
}