Electrical Engineering
      and Computer Sciences

Electrical Engineering and Computer Sciences

COLLEGE OF ENGINEERING

UC Berkeley

From Pre-Historic to Post-Modern Symbolic Model Checking

Thomas A. Henzinger, O. Kupferman and S. Qadeer

EECS Department
University of California, Berkeley
Technical Report No. UCB/ERL M99/56
1999


BibTeX citation:

@techreport{Henzinger:M99/56,
    Author = {Henzinger, Thomas A. and Kupferman, O. and Qadeer, S.},
    Title = {From Pre-Historic to Post-Modern Symbolic Model Checking},
    Institution = {EECS Department, University of California, Berkeley},
    Year = {1999},
    URL = {http://www.eecs.berkeley.edu/Pubs/TechRpts/1999/3767.html},
    Number = {UCB/ERL M99/56}
}

EndNote citation:

%0 Report
%A Henzinger, Thomas A.
%A Kupferman, O.
%A Qadeer, S.
%T From Pre-Historic to Post-Modern Symbolic Model Checking
%I EECS Department, University of California, Berkeley
%D 1999
%@ UCB/ERL M99/56
%U http://www.eecs.berkeley.edu/Pubs/TechRpts/1999/3767.html
%F Henzinger:M99/56