| dc.contributor.advisor | Paul I. Barton. | en_US |
| dc.contributor.author | Park, Taeshin, 1966- | en_US |
| dc.date.accessioned | 2010-01-07T20:30:40Z | |
| dc.date.available | 2010-01-07T20:30:40Z | |
| dc.date.copyright | 1998 | en_US |
| dc.date.issued | 1998 | en_US |
| dc.identifier.uri | http://hdl.handle.net/1721.1/50358 | |
| dc.description | Thesis (Ph. D.)--Massachusetts Institute of Technology, Dept. of Chemical Engineering, 1998. | en_US |
| dc.description | Includes bibliographical references (p. 249-257). | en_US |
| dc.description.statementofresponsibility | by Taeshin Park. | en_US |
| dc.format.extent | 257 p. | en_US |
| dc.language.iso | eng | en_US |
| dc.publisher | Massachusetts Institute of Technology | en_US |
| dc.rights | 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. | en_US |
| dc.rights.uri | http://dspace.mit.edu/handle/1721.1/7582 | en_US |
| dc.subject | Chemical Engineering | en_US |
| dc.title | Formal verification and dynamic validation of logic-based control systems | en_US |
| dc.type | Thesis | en_US |
| dc.description.degree | Ph.D. | en_US |
| dc.contributor.department | Massachusetts Institute of Technology. Department of Chemical Engineering | |
| dc.identifier.oclc | 39171404 | en_US |
