Using simulation techniques to prove timing properties
Thesis (M.S.)--Massachusetts Institute of Technology, Dept. of Electrical Engineering and Computer Science, 1995.
| Main Author: | |
|---|---|
| Other Authors: | |
| Format: | Thesis |
| Language: | eng |
| Published: |
Massachusetts Institute of Technology
2007
|
| Subjects: | |
| Online Access: | http://hdl.handle.net/1721.1/37771 |
| _version_ | 1811093332550483968 |
|---|---|
| author | Luchangco, Victor |
| author2 | Nancy A. Lynch. |
| author_facet | Nancy A. Lynch. Luchangco, Victor |
| author_sort | Luchangco, Victor |
| collection | MIT |
| description | Thesis (M.S.)--Massachusetts Institute of Technology, Dept. of Electrical Engineering and Computer Science, 1995. |
| first_indexed | 2024-09-23T15:43:34Z |
| format | Thesis |
| id | mit-1721.1/37771 |
| institution | Massachusetts Institute of Technology |
| language | eng |
| last_indexed | 2024-09-23T15:43:34Z |
| publishDate | 2007 |
| publisher | Massachusetts Institute of Technology |
| record_format | dspace |
| spelling | mit-1721.1/377712019-04-11T09:57:15Z Using simulation techniques to prove timing properties Luchangco, Victor Nancy A. Lynch. Massachusetts Institute of Technology. Dept. of Electrical Engineering and Computer Science Electrical Engineering and Computer Science Thesis (M.S.)--Massachusetts Institute of Technology, Dept. of Electrical Engineering and Computer Science, 1995. Includes bibliographical references (p. 151-160). by Victor Luchangco. M.S. 2007-06-28T12:35:51Z 2007-06-28T12:35:51Z 1995 1995 Thesis http://hdl.handle.net/1721.1/37771 33229003 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 160 p. application/pdf Massachusetts Institute of Technology |
| spellingShingle | Electrical Engineering and Computer Science Luchangco, Victor Using simulation techniques to prove timing properties |
| title | Using simulation techniques to prove timing properties |
| title_full | Using simulation techniques to prove timing properties |
| title_fullStr | Using simulation techniques to prove timing properties |
| title_full_unstemmed | Using simulation techniques to prove timing properties |
| title_short | Using simulation techniques to prove timing properties |
| title_sort | using simulation techniques to prove timing properties |
| topic | Electrical Engineering and Computer Science |
| url | http://hdl.handle.net/1721.1/37771 |
| work_keys_str_mv | AT luchangcovictor usingsimulationtechniquestoprovetimingproperties |