A Survey of Multi-valued Synthesis Techniques
Robert K. Brayton and S.P. Khatri
EECS Department
University of California, Berkeley
Technical Report No. UCB/ERL M98/61
1998
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},
URL = {http://www.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://www.eecs.berkeley.edu/Pubs/TechRpts/1998/3520.html %F Brayton:M98/61