Sequential Synthesis by Language Equation solving

N. Yevtushenko, T. Villa, Robert K. Brayton, A. Petrenko and Alberto L. Sangiovanni-Vincentelli

EECS Department
University of California, Berkeley
Technical Report No. UCB/ERL M03/9
April 2003

http://www2.eecs.berkeley.edu/Pubs/TechRpts/2003/ERL-03-9.pdf

BibTeX citation:

@techreport{Yevtushenko:M03/9,
    Author = {Yevtushenko, N. and Villa, T. and Brayton, Robert K. and Petrenko, A. and Sangiovanni-Vincentelli, Alberto L.},
    Title = {Sequential Synthesis by Language Equation solving},
    Institution = {EECS Department, University of California, Berkeley},
    Year = {2003},
    Month = {Apr},
    URL = {http://www2.eecs.berkeley.edu/Pubs/TechRpts/2003/4063.html},
    Number = {UCB/ERL M03/9}
}

EndNote citation:

%0 Report
%A Yevtushenko, N.
%A Villa, T.
%A Brayton, Robert K.
%A Petrenko, A.
%A Sangiovanni-Vincentelli, Alberto L.
%T Sequential Synthesis by Language Equation solving
%I EECS Department, University of California, Berkeley
%D 2003
%@ UCB/ERL M03/9
%U http://www2.eecs.berkeley.edu/Pubs/TechRpts/2003/4063.html
%F Yevtushenko:M03/9