T.Y.K. Kam and Robert K. Brayton
EECS Department
University of California, Berkeley
Technical Report No. UCB/ERL M90/125
December 1990
http://www2.eecs.berkeley.edu/Pubs/TechRpts/1990/ERL-90-125.pdf
BibTeX citation:
@techreport{Kam:M90/125, Author = {Kam, T.Y.K. and Brayton, Robert K.}, Title = {Multi-Valued Decision Diagrams}, Institution = {EECS Department, University of California, Berkeley}, Year = {1990}, Month = {Dec}, URL = {http://www2.eecs.berkeley.edu/Pubs/TechRpts/1990/1671.html}, Number = {UCB/ERL M90/125} }
EndNote citation:
%0 Report %A Kam, T.Y.K. %A Brayton, Robert K. %T Multi-Valued Decision Diagrams %I EECS Department, University of California, Berkeley %D 1990 %@ UCB/ERL M90/125 %U http://www2.eecs.berkeley.edu/Pubs/TechRpts/1990/1671.html %F Kam:M90/125