Michael M. Resch

  joint publications with Sven Holzmann

Publications

a service of  Schloss Dagstuhl - Leibniz Center for Informatics