Bibtex de la publication

@InProceedings{ Ba2016.1,
author = {Babin, Guillaume and Ait Ameur, Yamine and Pantel, Marc},
title = "{Correct Instantiation of a System Reconfiguration Pattern: A Proof and Refinement-Based Approach (regular paper)}",
booktitle = "{IEEE International Symposium on High-Assurance Systems Engineering (HASE), Orlando, FL, USA, 07/01/2016-09/01/2016}",
year = {2016},
month = {janvier},
publisher = {IEEE},
address = {http://www.ieee.org/},
pages = {31--38},
language = {anglais},
URL = {http://dx.doi.org/10.1109/HASE.2016.47}
}