Bibtex de la publication

@Article{ FaGaFiMiVe2004.1,
author = {Farail, Patrick and Gaufillet, Pierre and Filali, Mamoun and Michel, P. and Vernadat, François},
title = "{Vérifications dans un AGL orienté modèles}",
journal = {Génie Logiciel},
publisher = {GL & IS},
address = {8 Rue du Parc 92190 Meudon},
year = {2004},
month = {juin},
volume = {69},
pages = {51--55}
}