Bibtex de la publication

@InProceedings{ Ba2015.11,
author = {Babin, Guillaume and Ait Ameur, Yamine and Pantel, Marc},
title = "{Formal Verification of Runtime Compensation of Web Service Compositions: A Refinement and Proof Based Proposal with Event-B (regular paper)}",
booktitle = "{IEEE International Conference on Services Computing (SCC), New York, NY, USA, 27/06/2015-02/07/2015}",
year = {2015},
publisher = {IEEE},
address = {http://www.ieee.org/},
pages = {98--105},
language = {anglais},
URL = {http://dx.doi.org/10.1109/SCC.2015.23}
}