Edward A. Lee and Y. Xiong
EECS Department
University of California, Berkeley
Technical Report No. UCB/ERL M02/29
September 2002
http://www2.eecs.berkeley.edu/Pubs/TechRpts/2002/ERL-02-29.pdf
BibTeX citation:
@techreport{Lee:M02/29, Author = {Lee, Edward A. and Xiong, Y.}, Title = {Behavioral Types for Component-based Design}, Institution = {EECS Department, University of California, Berkeley}, Year = {2002}, Month = {Sep}, URL = {http://www2.eecs.berkeley.edu/Pubs/TechRpts/2002/4017.html}, Number = {UCB/ERL M02/29} }
EndNote citation:
%0 Report %A Lee, Edward A. %A Xiong, Y. %T Behavioral Types for Component-based Design %I EECS Department, University of California, Berkeley %D 2002 %@ UCB/ERL M02/29 %U http://www2.eecs.berkeley.edu/Pubs/TechRpts/2002/4017.html %F Lee:M02/29