Bibtex de la publication

@Article{ Ba2017.15,
author = {Babin, Guillaume and Ait Ameur, Yamine and Pantel, Marc},
title = "{Web Service Compensation at Runtime: Formal Modeling and Verification Using the Event-B Refinement and Proof Based Formal Method}",
journal = {IEEE Transactions on Services Computing, Special Issue on Advances in Web Services Research},
publisher = {IEEE},
address = {http://www.ieee.org/},
year = {2017},
month = {janvier},
volume = {10},
number = {1},
pages = {107--120},
language = {anglais},
URL = {https://doi.org/10.1109/TSC.2016.2594782}
}