record journals/tpds/DahanPN09

maintained by Schloss Dagstuhl LZI at University of Trier