@proceedings{dac2001,
title = {Proceedings of the 38th Design Automation Conference, DAC 2001, Las Vegas, NV, USA, June 18-22, 2001},
booktitle = {DAC},
publisher = {ACM},
year = {2001},
description = {Artigos e livros que tenho impresso},
bibsource = {DBLP, http://dblp.uni-trier.de}, isbn = {1-58113-297-2},
keywords = {proceedings }
}
::