Serdar Tasiran

EECS Department, University of California, Berkeley

1998

Advisors: Robert K. Brayton

---

BibTeX citation:

@phdthesis{Tasiran:8048,
    Author= {Tasiran, Serdar},
    Title= {Compositional and Hierarchical Techniques for the Formal Verification of Real-Time Systems},
    School= {EECS Department, University of California, Berkeley},
    Year= {1998},
}

EndNote citation:

%0 Thesis
%A Tasiran, Serdar 
%T Compositional and Hierarchical Techniques for the Formal Verification of Real-Time Systems
%I EECS Department, University of California, Berkeley
%D 1998
%F Tasiran:8048