19. LPAR 2013: Stellenbosch, South Africa - Short Papers

a service of Schloss Dagstuhl - Leibniz Center for Informatics