Jennifer A. McManis

EECS Department, University of California, Berkeley

1993

Advisors: Pravin P. Varaiya

---

BibTeX citation:

@phdthesis{McManis:7853,
    Author= {McManis, Jennifer A.},
    Title= {Verification and Control of Real-Time Discrete Event Dynamical Systems},
    School= {EECS Department, University of California, Berkeley},
    Year= {1993},
}

EndNote citation:

%0 Thesis
%A McManis, Jennifer A. 
%T Verification and Control of Real-Time Discrete Event Dynamical Systems
%I EECS Department, University of California, Berkeley
%D 1993
%F McManis:7853