Abdessamad Jarrar, Otman Bellasri, Sallami Chougdali, Youssef Balouki. Formal Specification and Verification of Transmission Control Protocol. In Jamal Zbitou, Setti Larbi, El Mokhtar En-Naimi, editors, Proceedings of the 2nd International Conference on Computing and Wireless Communication Systems, ICCWCS'17, Larache, Morocco, November 14-16, 2017. ACM, 2017. [doi]
@inproceedings{JarrarBCB17,
title = {Formal Specification and Verification of Transmission Control Protocol},
author = {Abdessamad Jarrar and Otman Bellasri and Sallami Chougdali and Youssef Balouki},
year = {2017},
doi = {10.1145/3167486.3167516},
url = {https://doi.org/10.1145/3167486.3167516},
researchr = {https://researchr.org/publication/JarrarBCB17},
cites = {0},
citedby = {0},
booktitle = {Proceedings of the 2nd International Conference on Computing and Wireless Communication Systems, ICCWCS'17, Larache, Morocco, November 14-16, 2017},
editor = {Jamal Zbitou and Setti Larbi and El Mokhtar En-Naimi},
publisher = {ACM},
isbn = {978-1-4503-5306-9},
}