Bibtex de la publication

@InProceedings{ Si2016.4,
author = {Siala, Badr and Bhiri, Tahar and Bodeveix, Jean-Paul and Filali, Mamoun},
title = "{An Event-B Development Process for the Distributed BIP Framework. (regular paper)}",
booktitle = "{International Conference on Formal Engineering Methods (ICFEM), Tokyo Japan, 14/11/2016-18/11/2016}",
editor = {Ogata, Kazuhiro and Lawford, Mark and Liu, Shaoying},
year = {2016},
month = {novembre},
publisher = {Springer-Verlag},
address = {http://www.springerlink.com/},
volume = {10009},
series = {Lecture Notes in Computer Science},
number = {10009},
pages = {313--328},
language = {anglais}
}