.Integrated circuit and system design : power and timing modeling, optimization and simulation : 13th International Workshop, PATMOS 2003, Turin, Italy, September 10-12, 2003 : proceedings /.,.
Integrated circuit and system design : power and timing modeling, optimization and simulation : 13th International Workshop, PATMOS 2003, Turin, Italy, September 10-12, 2003 : proceedings /
.Integrated circuit and system design : power and timing modeling, optimization and simulation : 18th International Workshop, PATMOS 2008, Lisbon, Portugal, September 2008 : revised selected papers /.,.
Integrated circuit and system design : power and timing modeling, optimization and simulation : 18th International Workshop, PATMOS 2008, Lisbon, Portugal, September 2008 : revised selected papers /
.Integrated circuit and system design : power and timing modeling, optimization and simulation : 15th International Workshop, PATMOS 2005, Leuven, Belgium, September 21-23, 2005 : proceedings /.,.
Integrated circuit and system design : power and timing modeling, optimization and simulation : 15th International Workshop, PATMOS 2005, Leuven, Belgium, September 21-23, 2005 : proceedings /
.Correct hardware design and verification methods : 13th IFIP WG 10.5 advanced research working conference, CHARME 2005, Saarbruecken, Germany, October 3-6, 2005, proceedings /.,.
Correct hardware design and verification methods : 13th IFIP WG 10.5 advanced research working conference, CHARME 2005, Saarbruecken, Germany, October 3-6, 2005, proceedings /
.Correct hardware design and verification methods : 12th IFIP WG 10.5 Advanced Research Working Conference, CHARME 2003, L`Aquila, Italy, October 21-24, 2003 : proceedings /.,.
Correct hardware design and verification methods : 12th IFIP WG 10.5 Advanced Research Working Conference, CHARME 2003, L`Aquila, Italy, October 21-24, 2003 : proceedings /
