Bibtex de la publication

@Article{ PoCh2007.1,
author = {Pontisso, Nadège and Chemouil, David},
title = "{Vérification formelle d'un modèle AADL à l'aide de l'outil UPPAAL}",
journal = {Génie Logiciel},
publisher = {GL & IS},
address = {UNKNOWN},
year = {2007},
month = {mars},
volume = {80},
pages = {36--40},
language = {français}
}