[ACM Press the 40th conference - Anaheim, CA, USA (2003.06.02-2003.06.06)] Proceedings of the 40th conference on Design automation - DAC '03 - TutorialHayes, John P. · 2003

[ACM Press the 40th conference - Anaheim, CA, USA (2003.06.02-2003.06.06)] Proceedings of the 40th conference on Design automation - DAC '03 - NORMLi, Peng; Pileggi, Lawrence T. · 2003

[ACM Press the 40th conference - Anaheim, CA, USA (2003.06.02-2003.06.06)] Proceedings of the 40th conference on Design automation - DAC '03 - 4G terminalsCraninckx, Jan; Donnay, Stéphane · 2003

[ACM Press the 40th conference - Anaheim, CA, USA (2003.06.02-2003.06.06)] Proceedings of the 40th conference on Design automation - DAC '03 - ShatterAloul, Fadi A.; Markov, Igor L.; Sakallah, Karem A. · 2003

[ACM Press the 40th conference - Anaheim, CA, USA (2003.06.02-2003.06.06)] Proceedings of the 40th conference on Design automation - DAC '03 - CoCoLekatsas, Haris; Henkel, Jörg; Chakradhar, Srimat; Jakkula, Venkata; Sankaradass, Murugan · 2003

[ACM Press the 40th conference - Anaheim, CA, USA (2003.06.02-2003.06.06)] Proceedings of the 40th conference on Design automation - DAC '03 - LibrariesSechen, Carl; Chappel, Barbara; Hogan, Jim; Moore, Andrew; Nakamura, Tadahiko; Northrop, Gregory; Thakar, Anjaneya · 2003

[ACM Press the 40th conference - Anaheim, CA, USA (2003.06.02-2003.06.06)] Proceedings of the 40th conference on Design automation - DAC '03 - Xtream-FitRamachandran, Anand; Jacome, Margarida F. · 2003

[ACM Press the 40th conference - Anaheim, CA, USA (2003.06.02-2003.06.06)] Proceedings of the 40th conference on Design automation - DAC '03 - Algorithms in FastImpZhu, Zhenhai; Song, Ben; White, Jacob · 2003

Predicate Abstraction of ANSI-C Programs Using SATEdmund Clarke; Daniel Kroening; Natasha Sharygina; Karen Yorav · 2004