"Proceedings of the 40th Design Automation Conference, DAC 2003, Anaheim, ..."

a service of Schloss Dagstuhl - Leibniz Center for Informatics