Robert K. Brayton and S.P. Khatri
EECS Department
University of California, Berkeley
Technical Report No. UCB/ERL M98/61
October 1998
http://www2.eecs.berkeley.edu/Pubs/TechRpts/1998/ERL-98-61.pdf
BibTeX citation:
@techreport{Brayton:M98/61, Author = {Brayton, Robert K. and Khatri, S.P.}, Title = {A Survey of Multi-valued Synthesis Techniques}, Institution = {EECS Department, University of California, Berkeley}, Year = {1998}, Month = {Oct}, URL = {http://www2.eecs.berkeley.edu/Pubs/TechRpts/1998/3520.html}, Number = {UCB/ERL M98/61} }
EndNote citation:
%0 Report %A Brayton, Robert K. %A Khatri, S.P. %T A Survey of Multi-valued Synthesis Techniques %I EECS Department, University of California, Berkeley %D 1998 %@ UCB/ERL M98/61 %U http://www2.eecs.berkeley.edu/Pubs/TechRpts/1998/3520.html %F Brayton:M98/61