Title of article
Formal specification and verification of safety and performance of TCP selective acknowledgment
Author/Authors
Smith، نويسنده , , M.A.، نويسنده , , Ramakrishnan، نويسنده , , K.K.، نويسنده ,
Issue Information
روزنامه با شماره پیاپی سال 2002
Pages
15
From page
193
To page
207
Keywords
TCP SACK. , TCP performance , Congestion control , I/O automata , formal verification
Journal title
IEEE/ ACM Transactions on Networking
Serial Year
2002
Journal title
IEEE/ ACM Transactions on Networking
Record number
375926
Link To Document