Freddy Y. C. Mang

EECS Department, University of California, Berkeley

2002

Advisors: Thomas A. Henzinger

---

BibTeX citation:

@phdthesis{Mang:8171,
    Author= {Mang, Freddy Y. C.},
    Title= {Games in Open Systems Verification and Synthesis},
    School= {EECS Department, University of California, Berkeley},
    Year= {2002},
}

EndNote citation:

%0 Thesis
%A Mang, Freddy Y. C. 
%T Games in Open Systems Verification and Synthesis
%I EECS Department, University of California, Berkeley
%D 2002
%F Mang:8171