record conf/doceng/DenoueCMC17

maintained by Schloss Dagstuhl LZI at University of Trier