© University of Kent - Contact | Feedback | Legal | FOI | Cookies
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 182-196. 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 = {182-196},
keywords = {determinacy analysis, Craig interpolants},
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},
}