Bibtex de la publication

@InProceedings{ BoFi2011.1,
author = {Bodeveix, Jean-Paul and Filali, Mamoun},
title = "{Event B development of a synchronous AADL scheduler (regular paper)}",
booktitle = "{Workshop B 2011, colocated with FM 2011 , Limerick, Ireland, 21/06/2011-21/06/2011}",
year = {2011},
month = {juin},
publisher = {University of Limerick},
address = {http://www.ul.ie},
pages = {(support électronique)},
language = {français},
note = {}
}