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