direkt zum Inhalt springen

direkt zum Hauptnavigationsmenü

Sie sind hier

TU Berlin

Inhalt des Dokuments

Publications Prof. Hartmut Ehrig (TFS)

Compositionality Results for Different Types of Parameterization and Parameter Passing in Specification Language
Zitatschlüssel EJO93
Autor H. Ehrig and R. M. Jimenez and F. Orejas
Buchtitel Proc.\ TAPSOFT '93, Paris
Seiten 16–30
Jahr 1993
Jahrgang 668
Verlag SPRINGER
Serie LNCS
Download Bibtex Eintrag

Zusatzinformationen / Extras

Direktzugang

Schnellnavigation zur Seite über Nummerneingabe