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
November 1999

http://www2.eecs.berkeley.edu/Pubs/TechRpts/1999/ERL-99-56.pdf


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},
    Month = {Nov},
    URL = {http://www2.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://www2.eecs.berkeley.edu/Pubs/TechRpts/1999/3767.html
%F Henzinger:M99/56