| 000 | 00515nab a2200157Ia 4500 | ||
|---|---|---|---|
| 008 | 230808s2002 |||||||f |||| 00| 0 eng d | ||
| 100 |
_aSmith, M. _9736513 |
||
| 100 |
_aRamakrishnan, K. K _9783680 |
||
| 245 | 0 | _a for mal Specification and Verification of Tcp Selective Aknowledgment | |
| 300 | _a193-207 p. | ||
| 650 |
_aCongestion Control _9721214 |
||
| 650 |
_a for mal Verification _9786846 |
||
| 650 |
_aI/O Automata _9827736 |
||
| 773 |
_d2002 _tIeee/Acm Transactions on Networking _x10636692 |
||
| 942 |
_cART _o51 _pABUL KALAM Library |
||
| 999 |
_c776450 _d776450 |
||