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