Omega-Automata, Games, and Synthesis
Sriram C. Krishnan
EECS Department, University of California, Berkeley
1998
Advisors: Robert K. Brayton
BibTeX citation:
@phdthesis{Krishnan:8035, Author= {Krishnan, Sriram C.}, Title= {Omega-Automata, Games, and Synthesis}, School= {EECS Department, University of California, Berkeley}, Year= {1998}, }
EndNote citation:
%0 Thesis %A Krishnan, Sriram C. %T Omega-Automata, Games, and Synthesis %I EECS Department, University of California, Berkeley %D 1998 %F Krishnan:8035