Constraint-driven Communications Synthesis
A. Pinto, L. P. Carloni and Alberto L. Sangiovanni-Vincentelli
EECS Department
University of California, Berkeley
Technical Report No. UCB/ERL M02/12
2002
BibTeX citation:
@techreport{Pinto:M02/12,
Author = {Pinto, A. and Carloni, L. P. and Sangiovanni-Vincentelli, Alberto L.},
Title = {Constraint-driven Communications Synthesis},
Institution = {EECS Department, University of California, Berkeley},
Year = {2002},
URL = {http://www.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://www.eecs.berkeley.edu/Pubs/TechRpts/2002/3978.html %F Pinto:M02/12