Jie-Hong Roland Jiang

EECS Department, University of California, Berkeley

2004

Advisors: Robert K. Brayton

---

BibTeX citation:

@phdthesis{Jiang:8268,
    Author= {Jiang, Jie-Hong Roland},
    Title= {Discovering Invariants in the Analysis and Verification of Finite State Transition Systems},
    School= {EECS Department, University of California, Berkeley},
    Year= {2004},
}

EndNote citation:

%0 Thesis
%A Jiang, Jie-Hong Roland 
%T Discovering Invariants in the Analysis and Verification of Finite State Transition Systems
%I EECS Department, University of California, Berkeley
%D 2004
%F Jiang:8268