Petr Svenda

  joint publications with Jan Krhovjak

Publications

a service of  Schloss Dagstuhl - Leibniz Center for Informatics