direkt zum Inhalt springen

direkt zum Hauptnavigationsmenü

Sie sind hier

TU Berlin

Inhalt des Dokuments

Publications Prof. Hartmut Ehrig (TFS)

Deriving Bisimulation Congruences in the DPO Approach to Graph Rewriting with Borrowed Contexts
Zitatschlüssel EH06
Autor Hartmut Ehrig and Barbara König
Seiten 1133–1163
Jahr 2006
Journal Mathematical Structures in Computer Science
Jahrgang 16
Nummer 6
Download Bibtex Eintrag

Zusatzinformationen / Extras

Direktzugang

Schnellnavigation zur Seite über Nummerneingabe