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

EECS Department, University of California, Berkeley

Technical Report No. UCB/ERL M03/9

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