System-Level Types for Component-Based Design
Edward A. Lee and Y. Xiong
EECS Department, University of California, Berkeley
Technical Report No. UCB/ERL M00/8
, 2000
http://www2.eecs.berkeley.edu/Pubs/TechRpts/2000/ERL-00-8.pdf
BibTeX citation:
@techreport{Lee:M00/8, Author= {Lee, Edward A. and Xiong, Y.}, Title= {System-Level Types for Component-Based Design}, Year= {2000}, Month= {Feb}, Url= {http://www2.eecs.berkeley.edu/Pubs/TechRpts/2000/3812.html}, Number= {UCB/ERL M00/8}, }
EndNote citation:
%0 Report %A Lee, Edward A. %A Xiong, Y. %T System-Level Types for Component-Based Design %I EECS Department, University of California, Berkeley %D 2000 %@ UCB/ERL M00/8 %U http://www2.eecs.berkeley.edu/Pubs/TechRpts/2000/3812.html %F Lee:M00/8