by Sarah Benyagoub, Yamine Aït Ameur, Meriem Ouederni, Atif Mashkoor, Ahmed Medeghri
Reference:
Formal design of scalable conversation protocols using Event-B: Validation, experiments, and benchmarks (Sarah Benyagoub, Yamine Aït Ameur, Meriem Ouederni, Atif Mashkoor, Ahmed Medeghri), In J. Softw. Evol. Process., volume 32, 2020.
Bibtex Entry:
@Article{DBLP:journals/smr/BenyagoubAOMM20,
author = {Sarah Benyagoub and Yamine A{\"{\i}}t Ameur and Meriem Ouederni and Atif Mashkoor and Ahmed Medeghri},
journal = {J. Softw. Evol. Process.},
title = {Formal design of scalable conversation protocols using Event-B: Validation, experiments, and benchmarks},
year = {2020},
number = {2},
volume = {32},
bibsource = {dblp computer science bibliography, https://dblp.org},
biburl = {https://dblp.org/rec/journals/smr/BenyagoubAOMM20.bib},
doi = {10.1002/smr.2209},
file = {:Journals/JSEP 2020 - Formal desing of scaleable conversation protocols using Event-B/Formal design of scalable conversation protocols using Event-B-preprint.pdf:PDF},
keywords = {SCCH},
timestamp = {Fri, 22 May 2020 21:53:47 +0200},
url = {https://doi.org/10.1002/smr.2209},
}