Constraint-driven Communications Synthesis
A. Pinto and L. P. Carloni and Alberto L. Sangiovanni-Vincentelli
EECS Department, University of California, Berkeley
Technical Report No. UCB/ERL M02/12
, 2002
http://www2.eecs.berkeley.edu/Pubs/TechRpts/2002/ERL-02-12.pdf
BibTeX citation:
@techreport{Pinto:M02/12, Author= {Pinto, A. and Carloni, L. P. and Sangiovanni-Vincentelli, Alberto L.}, Title= {Constraint-driven Communications Synthesis}, Year= {2002}, Month= {Apr}, Url= {http://www2.eecs.berkeley.edu/Pubs/TechRpts/2002/3978.html}, Number= {UCB/ERL M02/12}, }
EndNote citation:
%0 Report %A Pinto, A. %A Carloni, L. P. %A Sangiovanni-Vincentelli, Alberto L. %T Constraint-driven Communications Synthesis %I EECS Department, University of California, Berkeley %D 2002 %@ UCB/ERL M02/12 %U http://www2.eecs.berkeley.edu/Pubs/TechRpts/2002/3978.html %F Pinto:M02/12