Christoph Kreitz. Building reliable, high-performance networks with the Nuprl proof development system. J. Funct. Program., 14(1):21--68, 2004.  Home/Search Document Not in Database Summary Related Articles Check |
This paper is cited in the following contexts:
TCP, UDP, and Sockets: - Rigorous And Experimentally-Validated (Correct)
No context found.
Christoph Kreitz. Building reliable, high-performance networks with the Nuprl proof development system. J. Funct. Program., 14(1):21--68, 2004.
Rigorous Specification and Conformance Testing - Techniques For Network (Correct)
No context found.
C. Kreitz. Building reliable, high-performance networks with the Nuprl proof development system. J. Funct. Program., 14(1):21--68, 2004.
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