The Community for Technology Leaders
2012 20th IEEE International Conference on Network Protocols (ICNP) (1998)
Austin, Texas
Oct. 13, 1998 to Oct. 16, 1998
ISBN: 0-8186-8988-9
pp: 0227
INDEX TERMS
CITATION
M. Smith, K. Ramakrishnan, "Formal Verification of Safety and Performance Properties of TCP Selective Acknowledgment", 2012 20th IEEE International Conference on Network Protocols (ICNP), vol. 00, no. , pp. 0227, 1998, doi:10.1109/ICNP.1998.723743
97 ms
(Ver 3.3 (11022016))