Rupak Majumdar

EECS Department, University of California, Berkeley

2003

Advisors: Thomas A. Henzinger

---

BibTeX citation:

@phdthesis{Majumdar:8219,
    Author= {Majumdar, Rupak},
    Title= {Symbolic Algorithms for Verification and Control},
    School= {EECS Department, University of California, Berkeley},
    Year= {2003},
}

EndNote citation:

%0 Thesis
%A Majumdar, Rupak 
%T Symbolic Algorithms for Verification and Control
%I EECS Department, University of California, Berkeley
%D 2003
%F Majumdar:8219