M. A. Smith and K. K. Ramakrishnan. Formal specification and verification of safety and performance of TCP selective acknowledgment. IEEE/ACM Trans. Netw., 10(2):193--207, 2002. Home/Search Document Not in Database Summary Related Articles Check |
This paper is cited in the following contexts:
Engineering with Logic: HOL Specification and - Symbolic-Evaluation Testing For Self-citation (Smith) (Correct)
No context found.
M. A. Smith and K. K. Ramakrishnan. Formal specification and verification of safety and performance of TCP selective acknowledgment. IEEE/ACM Trans. Netw., 10(2):193--207, 2002.
Rigorous Specification and Conformance Testing - Techniques For Network Self-citation (Smith) (Correct)
No context found.
M. A. Smith and K. K. Ramakrishnan. Formal specification and verification of safety and performance of TCP selective acknowledgment. IEEE/ACM Trans. Netw., 10(2):193--207, 2002.
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC