Bibtex de la publication

@Article{ BoFiLaMu2007.1,
author = {Bodeveix, Jean-Paul and Filali, Mamoun and Lawall, Julia and Muller, Gilles},
title = "{Automatic Verification of Bossa Scheduler Properties}",
journal = {Electronic Notes in Theoretical Computer Science},
publisher = {Elsevier},
address = {http://www.elsevier.com/},
year = {2007},
month = {juillet},
volume = {185},
pages = {17--32},
language = {anglais}
}