Bibtex de la publication

@Article{ NaRaBoFi2008.1,
author = {Nasr, Odile and Rached, Miloud and Bodeveix, Jean-Paul and Filali, Mamoun},
title = "{Spécification et vérification d'un ordonnanceur en B via les automates temporisés}",
journal = {L'Objet, Composants, services et aspects techniques et outils pour la vérification},
publisher = {Hermès Science },
address = {http://www.editions-hermes.fr/},
year = {2008},
month = {décembre},
volume = {14},
number = {4},
pages = {43--72},
language = {français}
}