Finite state analysis with tools for network protocols
Thesis (S.B. and M.Eng.)--Massachusetts Institute of Technology, Dept. of Electrical Engineering and Computer Science, 1999.
| Main Author: | |
|---|---|
| Other Authors: | |
| Format: | Thesis |
| Language: | eng |
| Published: |
Massachusetts Institute of Technology
2013
|
| Subjects: | |
| Online Access: | http://hdl.handle.net/1721.1/80577 |
| _version_ | 1811077396354301952 |
|---|---|
| author | Wong, David H. (David Hsing-Wang), 1976- |
| author2 | Daniel Jackson. |
| author_facet | Daniel Jackson. Wong, David H. (David Hsing-Wang), 1976- |
| author_sort | Wong, David H. (David Hsing-Wang), 1976- |
| collection | MIT |
| description | Thesis (S.B. and M.Eng.)--Massachusetts Institute of Technology, Dept. of Electrical Engineering and Computer Science, 1999. |
| first_indexed | 2024-09-23T10:42:21Z |
| format | Thesis |
| id | mit-1721.1/80577 |
| institution | Massachusetts Institute of Technology |
| language | eng |
| last_indexed | 2024-09-23T10:42:21Z |
| publishDate | 2013 |
| publisher | Massachusetts Institute of Technology |
| record_format | dspace |
| spelling | mit-1721.1/805772019-04-10T17:11:12Z Finite state analysis with tools for network protocols Wong, David H. (David Hsing-Wang), 1976- Daniel Jackson. Massachusetts Institute of Technology. Department of Electrical Engineering and Computer Science. Massachusetts Institute of Technology. Department of Electrical Engineering and Computer Science. Electrical Engineering and Computer Science. Thesis (S.B. and M.Eng.)--Massachusetts Institute of Technology, Dept. of Electrical Engineering and Computer Science, 1999. Includes bibliographical references (p. 147). by David H. Wong. S.B.and M.Eng. 2013-09-12T19:11:23Z 2013-09-12T19:11:23Z 1999 1999 Thesis http://hdl.handle.net/1721.1/80577 43611154 eng 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 147 p. application/pdf Massachusetts Institute of Technology |
| spellingShingle | Electrical Engineering and Computer Science. Wong, David H. (David Hsing-Wang), 1976- Finite state analysis with tools for network protocols |
| title | Finite state analysis with tools for network protocols |
| title_full | Finite state analysis with tools for network protocols |
| title_fullStr | Finite state analysis with tools for network protocols |
| title_full_unstemmed | Finite state analysis with tools for network protocols |
| title_short | Finite state analysis with tools for network protocols |
| title_sort | finite state analysis with tools for network protocols |
| topic | Electrical Engineering and Computer Science. |
| url | http://hdl.handle.net/1721.1/80577 |
| work_keys_str_mv | AT wongdavidhdavidhsingwang1976 finitestateanalysiswithtoolsfornetworkprotocols |