Formal Verification of Safety and Performance Properties of TCP Selective Acknowledgment.

M. Smith, K. Ramakrishnan

Browse the full ICNP paper archive.