Carlos R. Baier

  joint publications with Vassilios G. Agelidis

Publications

a service of  Schloss Dagstuhl - Leibniz Center for Informatics