Repository logo
Log in(current)
Repository logoMIT Open ScholarshipDSpace@MIT
  1. Home
  2. MIT Libraries
  3. MIT Theses
  4. Graduate Theses
  5. Improved simulation of input/output automata

Improved simulation of input/output automata

Thumbnail Image
Download
Name

51332663-MIT.pdf

Description
Full printable version
Size

2.63 MB

Format

Adobe PDF

Checksum (MD5)

b5c3968fa797780fba24fe2b0ec9e5a6

Author(s)
Dean, Laura (Laura Gayle), 1979-
Advisor(s)
Michael D. Ernst and Nancy A. Lynch.
Alternative Title
Improved simulation of I/O automata
Date Issued
2001
Publisher
Massachusetts Institute of Technology
Description
Thesis (M.Eng. and S.B.)--Massachusetts Institute of Technology, Dept. of Electrical Engineering and Computer Science, 2001.
Includes bibliographical references (p. 83-84).
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/86806
Repository logo
PrivacyPermissionsAccessibilityContact us
Repository logo
Notify us about copyright concerns.