Bibtex de la publication

@Article{ BoBeEr2003.1,
author = {Boniol, Frédéric and Bel, Gérard and Ermont, Jérôme},
title = "{Trois approches pour la modélisation et la vérification de systèmes embarqués}",
journal = {Technique et Science Informatiques},
publisher = {Hermes},
year = {2003},
volume = {22},
number = {5},
pages = {539--569}
}