• Verification of graph transfor...
  • Bestand

Treffer: Verification of graph transformation systems with k-inductive invariants

Titel:
Verification of graph transformation systems with k-inductive invariants / Johannes Dyck ; Gutachter: Holger Giese, Arend Rensink, Heike Wehrheim ; Betreuer: Holger Giese
Verantwortlich:
Dyck, Johannes (Verfasser) ; Giese, Holger (Akademischer Betreuer) ; Giese, Holger (Gutachter); Rensink, Arend (Gutachter); Wehrheim, Heike (Gutachter)
Veröffent­licht:
Potsdam : Universität Potsdam, 2020
Umfang:
Online-Ressource
Publikationstyp:
E-Book
Sprache:
Englisch
Hochschul­schrift:
Dissertation, Potsdam, Universität Potsdam, 2019
Schlagworte:

Zusatz-Informationen

Zusatz-Funktionen