"TOOLS Pacific 2000: 37th International Conference on Technology of ..."

a service of Schloss Dagstuhl - Leibniz Center for Informatics