Improved simulation of input/output automata

Thesis (M.Eng. and S.B.)--Massachusetts Institute of Technology, Dept. of Electrical Engineering and Computer Science, 2001. === Includes bibliographical references (p. 83-84). === byLaura Dean. === M.Eng.and S.B.

Bibliographic Details
Main Author: Dean, Laura (Laura Gayle), 1979-
Other Authors: Michael D. Ernst and Nancy A. Lynch.
Format: Others
Language:English
Published: Massachusetts Institute of Technology 2014
Subjects:
Online Access:http://hdl.handle.net/1721.1/86806