Treffer: Static Verification Techniques for Attributed Graph Transformations
Titel:
Static Verification Techniques for Attributed Graph Transformations / von Dipl.-Ing. Frederik Deckwerth
Verantwortlich:
Veröffentlicht:
Darmstadt, 2017
Umfang:
1 Online-Ressource (IX, 210 Seiten)
Publikationstyp:
Sprache:
Englisch
Hochschulschrift:
Dissertation, Technische Universität Darmstadt, 2016
Andere Ausgaben:
Erscheint auch als Druck-Ausgabe: Deckwerth, Frederik. Static Verification Techniques for Attributed Graph Transformations
Anmerkungen:
kostenfrei
Schlagworte: