Ehrig, Hartmut; König, Barbara:

Deriving Bisimulation Congruences in the DPO Approach to Graph Rewriting with Borrowed Contexts

In: Mathematical Structures in Computer Science, Jg. 16 (2006) ; Nr. 6, S. 1133-1163
ISSN: 0960-1295
Zeitschriftenaufsatz / Fach: Informatik

Dieser Eintrag ist freigegeben.