D. Gasperini, A. Pinto and Alberto L. Sangiovanni-Vincentelli
EECS Department
University of California, Berkeley
Technical Report No. UCB/ERL M05/6
January 2005
http://www2.eecs.berkeley.edu/Pubs/TechRpts/2005/ERL-05-6.pdf
BibTeX citation:
@techreport{Gasperini:M05/6, Author = {Gasperini, D. and Pinto, A. and Sangiovanni-Vincentelli, Alberto L.}, Title = {METROC: A Metropolis Based Design Methodology Developed in a C++ Framework}, Institution = {EECS Department, University of California, Berkeley}, Year = {2005}, Month = {Jan}, URL = {http://www2.eecs.berkeley.edu/Pubs/TechRpts/2005/4289.html}, Number = {UCB/ERL M05/6} }
EndNote citation:
%0 Report %A Gasperini, D. %A Pinto, A. %A Sangiovanni-Vincentelli, Alberto L. %T METROC: A Metropolis Based Design Methodology Developed in a C++ Framework %I EECS Department, University of California, Berkeley %D 2005 %@ UCB/ERL M05/6 %U http://www2.eecs.berkeley.edu/Pubs/TechRpts/2005/4289.html %F Gasperini:M05/6