Bibtex de la publication

@InProceedings{ ObHa2008.1,
author = {Ober, Iulian and Halbwachs, Nicolas},
title = "{On the timed automata-based verification of Ravenscar systems}",
booktitle = "{International Conference on Reliable Software Technologies - Ada-Europe 2008, Venise, Italie, 16/06/08-20/06/08}",
editor = {Vardanega, Tullio and Kordon, Fabrice},
year = {2008},
month = {juin},
publisher = {Springer},
address = {http://www.springerlink.com},
series = {LNCS},
number = {5026},
pages = {30--43},
language = {anglais}
}