Ehrig, Hartmut; Ermel, Claudia; Hermann, Frank; König, Barbara:

Behaviour Simulation and Equivalence of Systems Modelled by Graph Transformation

In: Bulletin of the European Association for Theoretical Computer Science (EATCS Bulletin), (2009) ; Nr. 97, S. 117-125
ISSN: 0252-9742
Zeitschriftenaufsatz / Fach: Informatik