17. LPAR 2010: Yogyakarta, Indonesia

a service of Schloss Dagstuhl - Leibniz Center for Informatics