External Links

Cite Key

Statistics

  • References: 0
  • Cited by: 0
  • Reviews: 0
  • Bibliographies: 0

PDF

Researchr

Researchr is a web site for finding, collecting, sharing, and reviewing scientific publications, for researchers by researchers.

Sign up for an account to create a profile with publication list, tag and review your related work, and share bibliographies with your co-authors.

Formal Specification and Verification of Transmission Control Protocol

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]

Authors

Abdessamad Jarrar

This author has not been identified. Look up 'Abdessamad Jarrar' in Google

Otman Bellasri

This author has not been identified. Look up 'Otman Bellasri' in Google

Sallami Chougdali

This author has not been identified. Look up 'Sallami Chougdali' in Google

Youssef Balouki

This author has not been identified. Look up 'Youssef Balouki' in Google
runs on