Synthesis of Software Programs for Embedded Control Applications

M. Chiodo, P. Giusto, A. Jurecska, L. Lavagno, K. Suzuki, E. Sentovich, H. Hsieh and Alberto L. Sangiovanni-Vincentelli

EECS Department
University of California, Berkeley
Technical Report No. UCB/ERL M94/87
November 1994

http://www2.eecs.berkeley.edu/Pubs/TechRpts/1994/ERL-94-87.pdf

BibTeX citation:

@techreport{Chiodo:M94/87,
    Author = {Chiodo, M. and Giusto, P. and Jurecska, A. and Lavagno, L. and Suzuki, K. and Sentovich, E. and Hsieh, H. and Sangiovanni-Vincentelli, Alberto L.},
    Title = {Synthesis of Software Programs for Embedded Control Applications},
    Institution = {EECS Department, University of California, Berkeley},
    Year = {1994},
    Month = {Nov},
    URL = {http://www2.eecs.berkeley.edu/Pubs/TechRpts/1994/2652.html},
    Number = {UCB/ERL M94/87}
}

EndNote citation:

%0 Report
%A Chiodo, M.
%A Giusto, P.
%A Jurecska, A.
%A Lavagno, L.
%A Suzuki, K.
%A Sentovich, E.
%A Hsieh, H.
%A Sangiovanni-Vincentelli, Alberto L.
%T Synthesis of Software Programs for Embedded Control Applications
%I EECS Department, University of California, Berkeley
%D 1994
%@ UCB/ERL M94/87
%U http://www2.eecs.berkeley.edu/Pubs/TechRpts/1994/2652.html
%F Chiodo:M94/87