Proceedings, Tenth International Symposium on System Synthesis: September 17-19, 1997, Antwerp, Belgium by Design Automation Technical Committee | Menrva Books | MenrvaBooks