direkt zum Inhalt springen

direkt zum Hauptnavigationsmenü

Sie sind hier

TU Berlin

Inhalt des Dokuments

Publications Prof. Hartmut Ehrig (TFS)

Amalgamation and Extension in the Framework of Specification Logics and Generalized Morphisms
Zitatschlüssel EBO91a
Autor Ehrig, H. and Baldamus, M. and Orejas, F.
Seiten 129 – 143
Jahr 1991
Journal BEATCS
Jahrgang 44
Monat june
Notiz Algebraic Specification Column
Download Bibtex Eintrag

Zusatzinformationen / Extras

Direktzugang

Schnellnavigation zur Seite über Nummerneingabe