Electrical Engineering and Computer Sciences

Electrical Engineering and Computer Sciences

COLLEGE OF ENGINEERING

UC Berkeley

Symbolic Exploration of Transition Hierarchies

R. Alur, Thomas A. Henzinger and S.K. Rajamani

EECS Department
University of California, Berkeley
Technical Report No. UCB/ERL M98/21
1998

BibTeX citation:

@techreport{Alur:M98/21,
    Author = {Alur, R. and Henzinger, Thomas A. and Rajamani, S.K.},
    Title = {Symbolic Exploration of Transition Hierarchies},
    Institution = {EECS Department, University of California, Berkeley},
    Year = {1998},
    URL = {http://www.eecs.berkeley.edu/Pubs/TechRpts/1998/3415.html},
    Number = {UCB/ERL M98/21}
}

EndNote citation:

%0 Report
%A Alur, R.
%A Henzinger, Thomas A.
%A Rajamani, S.K.
%T Symbolic Exploration of Transition Hierarchies
%I EECS Department, University of California, Berkeley
%D 1998
%@ UCB/ERL M98/21
%U http://www.eecs.berkeley.edu/Pubs/TechRpts/1998/3415.html
%F Alur:M98/21