Auflistung nach Autor Ehrig, Hartmut
Anzeige der Treffer 1 bis 1 von 1
Erscheinungsdatum | Titel | Autor(en) |
---|---|---|
2004 | Deriving bisimulation congruences in the DPO approach to graph rewriting. Long version | Ehrig, Hartmut; König, Barbara |