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]
Abstract is missing.