44th International Symposium on Mathematical Foundations of Computer Science : MFCS 2019, August 26-30, 2019, Aachen, Germany

Rossmanith, Peter (Editor); Heggernes, Pinar (Editor); Katoen, Joost-Pieter (Editor)

Saarbrücken/Wadern, Germany : Schloss Dagstuhl - Leibniz-Zentrum für Informatik GmbH, Dagstuhl Publishing (2019)
Buch, Tagungsband

In: Leibniz international proceedings in informatics 138
Seite(n)/Artikel-Nr.: 1 Online-Ressource : Illustrationen

Einrichtungen

  • Fachgruppe Informatik [120000]
  • Lehr- und Forschungsgebiet Theoretische Informatik [121220]
  • Lehrstuhl für Informatik 2 (Softwaremodellierung und Verifikation) [121310]