Behaviour Simulation and Equivalence of Systems Modelled by Graph ...

Reference

Hartmut Ehrig, Claudia Ermel, Frank Hermann, and Barbara König. Behaviour simulation and equivalence of systems modelled by graph transformation. EATCS Bulletin, 97:117–125, February 2009. Appeared in The Formal Specification Column.

Suggested BibTeX entry:

@article{EEHK09,
    author = {Hartmut Ehrig and Claudia Ermel and Frank Hermann and Barbara K{\"o}nig},
    journal = {EATCS Bulletin},
    month = {February},
    note = {Appeared in The Formal Specification Column},
    pages = {117--125},
    title = {Behaviour Simulation and Equivalence of Systems Modelled by Graph Transformation},
    volume = {97},
    year = {2009}
}

This work is not available online here.