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 Sammelwerk2010Informatik
Titel:
Recognizable graph languages for checking invariants
Autor(in):
Blume, ChristophLSF; Bruggink, SanderLSF; König, BarbaraLSF
Erscheinungsjahr
2010
WWW URL