T.Y.K. Kam and Robert K. Brayton

EECS Department, University of California, Berkeley

Technical Report No. UCB/ERL M90/125

, 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},
    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