"Formal specification and verification of safety and performance of TCP ..."

Mark A. Smith, K. K. Ramakrishnan (2002)
a service of Schloss Dagstuhl - Leibniz Center for Informatics