Treffer: Verification of Well-Structured Graph Transformation Systems

Titel:
Verification of Well-Structured Graph Transformation Systems / Jan Stückrath. Betreuer: Barbara König
Veröffent­licht:
Duisburg : Universitätsbibliothek Duisburg-Essen, 2016
Umfang:
1 Online-Ressource
Publikationstyp:
E-Book
Sprache:
Englisch
Hochschul­schrift:
Dissertation, Universität Duisburg-Essen, 2016
Schlagworte: