Hermann, Frank; Corradini, Andrea; Ehrig, Hartmut; König, Barbara:

Efficient Analysis of Permutation Equivalence of Graph Derivations Based on Petri Nets

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.