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 / Fach: Informatik

Dieser Eintrag ist freigegeben.