"TOOLS Asia 2000: 36th International Conference on Technology of ..."

a service of Schloss Dagstuhl - Leibniz Center for Informatics