Formal verification of TCP and T/TCP

Smith, Mark Anthony Shawn, 1968-

Formal verification of TCP and T/TCP

Download

Name

38529419-MIT.pdf

Description

Full printable version

Size

21.93 MB

Format

Adobe PDF

Checksum (MD5)

57f11e9a6adfacdb33a00d7d95cde104

Author(s)

Smith, Mark Anthony Shawn, 1968-

Advisor(s)

Nancy A. Lynch.

Date Issued

1997

Publisher

Massachusetts Institute of Technology

Description

Thesis (Ph. D.)--Massachusetts Institute of Technology, Dept. of Electrical Engineering and Computer Science, 1997.

Includes bibliographical references (p. 421-424).

Subjects

Electrical Engineering and Computer Science

MIT Department

Massachusetts Institute of Technology. Department of Electrical Engineering and Computer Science

Terms of Use

M.I.T. theses are protected by
copyright. They may be viewed from this source for any purpose, but
reproduction or distribution in any format is prohibited without written
permission. See provided URL for inquiries about permission.

http://dspace.mit.edu/handle/1721.1/7582

Persistent DSpace Link

http://hdl.handle.net/1721.1/42779