R.K. Ranjan, A. Aziz, Robert K. Brayton, B. Plessier and C. Pixley
EECS Department
University of California, Berkeley
Technical Report No. UCB/ERL M94/100
October 1994
http://www2.eecs.berkeley.edu/Pubs/TechRpts/1994/ERL-94-100.pdf
BibTeX citation:
@techreport{Ranjan:M94/100, Author = {Ranjan, R.K. and Aziz, A. and Brayton, Robert K. and Plessier, B. and Pixley, C.}, Title = {Efficient Formal Design Verification: Data Structure + Algorithm}, Institution = {EECS Department, University of California, Berkeley}, Year = {1994}, Month = {Oct}, URL = {http://www2.eecs.berkeley.edu/Pubs/TechRpts/1994/2687.html}, Number = {UCB/ERL M94/100} }
EndNote citation:
%0 Report %A Ranjan, R.K. %A Aziz, A. %A Brayton, Robert K. %A Plessier, B. %A Pixley, C. %T Efficient Formal Design Verification: Data Structure + Algorithm %I EECS Department, University of California, Berkeley %D 1994 %@ UCB/ERL M94/100 %U http://www2.eecs.berkeley.edu/Pubs/TechRpts/1994/2687.html %F Ranjan:M94/100