Y. Watanabe and Robert K. Brayton
EECS Department
University of California, Berkeley
Technical Report No. UCB/ERL M90/76
August 1990
http://www2.eecs.berkeley.edu/Pubs/TechRpts/1990/ERL-90-76.pdf
BibTeX citation:
@techreport{Watanabe:M90/76, Author = {Watanabe, Y. and Brayton, Robert K.}, Title = {Incremental Synthesis for ``Engineering Changes''}, Institution = {EECS Department, University of California, Berkeley}, Year = {1990}, Month = {Aug}, URL = {http://www2.eecs.berkeley.edu/Pubs/TechRpts/1990/1559.html}, Number = {UCB/ERL M90/76} }
EndNote citation:
%0 Report %A Watanabe, Y. %A Brayton, Robert K. %T Incremental Synthesis for ``Engineering Changes'' %I EECS Department, University of California, Berkeley %D 1990 %@ UCB/ERL M90/76 %U http://www2.eecs.berkeley.edu/Pubs/TechRpts/1990/1559.html %F Watanabe:M90/76