Abbrevation ASP-DAC Link http://www.aspdac.com/aspdac2011/ City Yokohama Country Japan Deadline Paper 2010-07-19 Start Date 2011-01-25 End Date 2011-01-28 Abstract <br>