Sonia R. Sachs

EECS Department, University of California, Berkeley

1995

Advisors: Pravin P. Varaiya

---

BibTeX citation:

@phdthesis{Sachs:8430,
    Author= {Sachs, Sonia R.},
    Title= {Formal Verification of Discrete Event and Hybrid Systems},
    School= {EECS Department, University of California, Berkeley},
    Year= {1995},
}

EndNote citation:

%0 Thesis
%A Sachs, Sonia R. 
%T Formal Verification of Discrete Event and Hybrid Systems
%I EECS Department, University of California, Berkeley
%D 1995
%F Sachs:8430