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