A. Benveniste and L. P. Carloni and P. Caspi and Alberto L. Sangiovanni-Vincentelli

EECS Department, University of California, Berkeley

Technical Report No. UCB/ERL M03/23

, 2003

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

---

BibTeX citation:

@techreport{Benveniste:M03/23,
    Author= {Benveniste, A. and Carloni, L. P. and Caspi, P. and Sangiovanni-Vincentelli, Alberto L.},
    Title= {Heterogeneous Reactive Systems Modeling and Correct-by-Construction Deployment},
    Year= {2003},
    Month= {Jun},
    Url= {http://www2.eecs.berkeley.edu/Pubs/TechRpts/2003/4108.html},
    Number= {UCB/ERL M03/23},
}

EndNote citation:

%0 Report
%A Benveniste, A. 
%A Carloni, L. P. 
%A Caspi, P. 
%A Sangiovanni-Vincentelli, Alberto L. 
%T Heterogeneous Reactive Systems Modeling and Correct-by-Construction Deployment
%I EECS Department, University of California, Berkeley
%D 2003
%@ UCB/ERL M03/23
%U http://www2.eecs.berkeley.edu/Pubs/TechRpts/2003/4108.html
%F Benveniste:M03/23