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]
Identifikationsnummern
- ISBN: 978-3-95977-117-7
- DOI: 10.4230/LIPICS.MFCS.2019.0
- DOI: 10.18154/RWTH-2019-08826
- RWTH PUBLICATIONS: RWTH-2019-08826