Bibtex de la publication

@InProceedings{ Ba2016.3,
author = {Babin, Guillaume and Ait Ameur, Yamine and Singh, Neeraj and Pantel, Marc},
title = "{Handling Continuous Functions in Hybrid Systems Reconfigurations: A Formal Event-B Development (short paper)}",
booktitle = "{International ABZ Conference: ASM, Alloy, B, TLA, VDM, Z, Linz, Austria, 23/05/2016-27/05/2016}",
editor = {Butler, Michael and Schewe, Klaus-Dieter and Mashkoor, Atif and Biro, Miklos},
year = {2016},
publisher = {Springer-Verlag},
address = {http://www.springerlink.com/},
volume = {9675},
series = {Lecture Notes in Computer Science},
number = {0302-9743},
pages = {290--296},
language = {anglais},
URL = {http://dx.doi.org/10.1007/978-3-319-33600-8_23}
}