Static Verification Techniques for Attributed Graph Transformations
Deckwerth, Frederik ; Schürr, Andy ; Annegret, Habel 2017 Universitäts- und Landesbibliothek Darmstadt
- Link zu diesem Datensatz
-
https://d-nb.info/113180256X
- Titel
-
Static Verification Techniques for Attributed Graph Transformations
- Art des Inhalts
- Monographie
- Verfassangaben
- Frederik Deckwerth ; Andy Schürr, Habel Annegret
- Autor(en)
-
- Deckwerth, Frederik
- Schürr, Andy
- Annegret, Habel
- Verlag
- Darmstadt : Universitäts- und Landesbibliothek Darmstadt [2017]
- Jahr
- Erscheinungsdatum: 2017
- Umfang/Format
- Online-Ressource
- Online
- https://nbn-resolving.org/urn:nbn:de:tuda-tuprints-61502
- Sprache
- eng
- Abweichende Titel
-
- Statische Verifikations Techniken für Attributierte Graphtransformationen
- Stand
- 29.11.2025 10:21
- Im Katalog seit
- 06.03.2026
Beschreibung vom Verlag
