direkt zum Inhalt springen

direkt zum Hauptnavigationsmenü

Sie sind hier

TU Berlin

Inhalt des Dokuments

Publications Prof. Hartmut Ehrig (TFS)

New concepts for amalgamation and extension in the framework of specification logics
Zitatschlüssel EBO91
Autor Ehrig, H. and Baldamus, M. and Orejas, F.
Buchtitel Proc. ADT-Workshop Durdan
Seiten 199 – 221
Jahr 1991
Adresse Durdan
Jahrgang 655
Verlag SPRINGER
Serie LNCS
Download Bibtex Eintrag [1]
------ Links: ------

Zusatzinformationen / Extras

Direktzugang

Schnellnavigation zur Seite über Nummerneingabe

Copyright TU Berlin 2008