Show simple item record

Automatic verification of the timing properties of MMT automata

dc.contributor.advisorNancy A. Lynch, Stephen J. Garland.en_US
dc.contributor.authorSöylemez, Ekrem Sezeren_US
dc.date.accessioned2006-12-18T19:52:30Z
dc.date.available2006-12-18T19:52:30Z
dc.date.copyright1994en_US
dc.date.issued1994en_US
dc.identifier.urihttp://hdl.handle.net/1721.1/35002
dc.descriptionThesis (M. Eng.)--Massachusetts Institute of Technology, Dept. of Electrical Engineering and Computer Science, 1994.en_US
dc.descriptionIncludes bibliographical references (leaves 92-93).en_US
dc.description.statementofresponsibilityby Ekrem Sezer Sölemez.en_US
dc.format.extent93 leavesen_US
dc.format.extent4872719 bytes
dc.format.extent4877307 bytes
dc.format.mimetypeapplication/pdf
dc.format.mimetypeapplication/pdf
dc.language.isoengen_US
dc.publisherMassachusetts Institute of Technologyen_US
dc.rightsM.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.en_US
dc.rights.urihttp://dspace.mit.edu/handle/1721.1/7582
dc.subjectElectrical Engineering and Computer Scienceen_US
dc.titleAutomatic verification of the timing properties of MMT automataen_US
dc.typeThesisen_US
dc.description.degreeM.Eng.en_US
dc.contributor.departmentMassachusetts Institute of Technology. Department of Electrical Engineering and Computer Science
dc.identifier.oclc31163478en_US


Files in this item

Thumbnail
Name:
31163478-MIT.pdf
Size:
4.651Mb
Format:
PDF
Description:
Full printable version
View/Open

This item appears in the following Collection(s)

Show simple item record