Mark A. Smith, K. K. Ramakrishnan. Formal specification and verification of safety and performance of TCP selective acknowledgement. IEEE/ACM Trans. Netw., 10(2):193-207, 2002. [doi]
@article{SmithR02:0,
title = {Formal specification and verification of safety and performance of TCP selective acknowledgement},
author = {Mark A. Smith and K. K. Ramakrishnan},
year = {2002},
url = {http://portal.acm.org/citation.cfm?id=508325.508329},
researchr = {https://researchr.org/publication/SmithR02%3A0},
cites = {0},
citedby = {0},
journal = {IEEE/ACM Trans. Netw.},
volume = {10},
number = {2},
pages = {193-207},
}