Blume, Christoph; Bruggink, Sander; König, Barbara:
Recognizable graph languages for checking invariants
In: Proceedings of the Ninth International Workshop on Graph Transformation and Visual Modeling Techniques (GT-VMT 2010). - (Electronic Communications of the EASST ; 10) - 2010
Buchaufsatz/Kapitel in Sammelwerk / Fach: Informatik
Titel:
Recognizable graph languages for checking invariants
Autor(in):
Blume, Christoph im Online-Personal- und -Vorlesungsverzeichnis LSF anzeigen; Bruggink, Sander im Online-Personal- und -Vorlesungsverzeichnis LSF anzeigen; König, Barbara im Online-Personal- und -Vorlesungsverzeichnis LSF anzeigen
Erscheinungsjahr
2010
Erschienen in:
Proceedings of the Ninth International Workshop on Graph Transformation and Visual Modeling Techniques (GT-VMT 2010). - (Electronic Communications of the EASST ; 10) - 2010
WWW URL