Bibtex de la publication

@InProceedings{ BoFiLaMu2006.3,
author = {Bodeveix, Jean-Paul and Filali, Mamoun and Lawall, Julia and Muller, Gilles},
title = "{Vérification automatique de propriétés d'ordonnanceurs Bossa}",
booktitle = "{Approches Formelles dans l'Assistance au Développement de Logiciels (AFADL), ENST Paris, 15/03/2006-17/03/2006}",
year = {2006},
month = {mars},
publisher = {ENST},
address = {http://www.infres.enst.fr},
pages = {95--109},
language = {français},
note = {}
}