Improved simulation of input/output automata

Thesis (M.Eng. and S.B.)--Massachusetts Institute of Technology, Dept. of Electrical Engineering and Computer Science, 2001.

Détails bibliographiques
Auteur principal: Dean, Laura (Laura Gayle), 1979-
Autres auteurs: Michael D. Ernst and Nancy A. Lynch.
Format: Thèse
Langue:eng
Publié: Massachusetts Institute of Technology 2014
Sujets:
Accès en ligne:http://hdl.handle.net/1721.1/86806