Ifip Wg 105

• Codes+isss 2005
• System Synthesis, 9th International Symposium on