Bibtex de la publication

@InProceedings{ ObGrLe2006.1,
author = {Ober, Iulian and Graf, Susanne and Lesens, David},
title = "{Modeling and validation of a software architecture for the Ariane-5 launcher}",
booktitle = "{Formal Methods for Open Object-Based Distributed Systems - 8th IFIP WG 6.1 International Conference (FMOODS 2006), Bologna, Italy, 14/06/06-16/06/06}",
editor = {Gorrieri, Roberto and Warheim, Heike},
year = {2006},
publisher = {Springer-Verlag},
address = {http://www.springerlink.com/},
volume = {4037 },
series = {LNCS},
pages = {48--62},
language = {anglais}
}