Bibtex de la publication

@InProceedings{ Ba2016.17,
author = {Babin, Guillaume and Ait Ameur, Yamine and Singh, Neeraj and Pantel, Marc},
title = "{A System Substitution Mechanism for Hybrid Systems in Event-B (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 International Publishing},
address = {http://www.springer.com},
volume = {10009},
series = {Lecture Notes in Computer Science},
pages = {106--121},
language = {anglais},
URL = {http://dx.doi.org/10.1007/978-3-319-47846-3_8}
}