6. VaMoS 2012: Leipzig, Germany

maintained by Schloss Dagstuhl LZI at University of Trier