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 in Sammelwerk2010Informatik
Titel:
Efficient Analysis of Permutation Equivalence of Graph Derivations Based on Petri Nets
Autor(in):
Hermann, Frank; Corradini, Andrea; Ehrig, Hartmut; König, BarbaraLSF
Erscheinungsjahr
2010