direkt zum Inhalt springen

direkt zum Hauptnavigationsmenü

Sie sind hier

TU Berlin

Inhalt des Dokuments

Publications Prof. Hartmut Ehrig (TFS)

Semantical Constructions for Categories of Behavioral Specifications
Zitatschlüssel ONE89
Autor Orejas, F. and Nivela, P. and Ehrig, H.
Buchtitel Computer Science - with Aspects from Topology
Seiten 220–243
Jahr 1989
Jahrgang 393
Herausgeber H. Ehrig and H. Herrlich and H.-J. Kreowski and G. Preu"s
Verlag SPRINGER
Serie LNCS
Download Bibtex Eintrag

Zusatzinformationen / Extras

Direktzugang

Schnellnavigation zur Seite über Nummerneingabe