Kein Cover

View Abstraction – A Tutorial (Invited Paper)

Abdulla, Parosh A. ; Haziza, Fréderic ; Holík, Lukáš 2015 Schloss Dagstuhl – Leibniz-Zentrum für Informatik

Titel
View Abstraction – A Tutorial (Invited Paper)
Art des Inhalts
Teil eines Werks
Verfassangaben
Parosh A. Abdulla, Fréderic Haziza, Lukáš Holík
Autor(en)
  • Abdulla, Parosh A.
  • Haziza, Fréderic
  • Holík, Lukáš
Verlag
Wadern : Schloss Dagstuhl – Leibniz-Zentrum für Informatik [2015]
Jahr
Erscheinungsdatum: 2015
Umfang/Format
Online-Ressource
DOI
10.4230/OASIcs.SynCoP.2015.1
Online
https://doi.org/10.4230/OASIcs.SynCoP.2015.1
Sprache
eng
Schlagwörter
Stand
12.05.2025 18:20
Im Katalog seit
07.03.2026

Beschreibung vom Verlag

← Zurück zur Startseite