3. SAMT 2008: Koblenz, Germany

maintained by Schloss Dagstuhl LZI at University of Trier