CEUR Workshop Proceedings, Volumes 1200-1299

maintained by Schloss Dagstuhl LZI at University of Trier