Sarah Benyagoub, Meriem Ouederni, Yamine Aït Ameur. Towards correct Evolution of Conversation Protocols. In Mohamed Ghazel, Mohamed Jmaiel, editors, Proceedings of the 10th Workshop on Verification and Evaluation of Computer and Communication System, VECoS 2016, Tunis, Tunisia, October 6-7, 2016. Volume 1689 of CEUR Workshop Proceedings, pages 193-201, CEUR-WS.org, 2016. [doi]
@inproceedings{BenyagoubOA16,
title = {Towards correct Evolution of Conversation Protocols},
author = {Sarah Benyagoub and Meriem Ouederni and Yamine Aït Ameur},
year = {2016},
url = {http://ceur-ws.org/Vol-1689/paper16.pdf},
researchr = {https://researchr.org/publication/BenyagoubOA16},
cites = {0},
citedby = {0},
pages = {193-201},
booktitle = {Proceedings of the 10th Workshop on Verification and Evaluation of Computer and Communication System, VECoS 2016, Tunis, Tunisia, October 6-7, 2016},
editor = {Mohamed Ghazel and Mohamed Jmaiel},
volume = {1689},
series = {CEUR Workshop Proceedings},
publisher = {CEUR-WS.org},
}