direkt zum Inhalt springen

direkt zum Hauptnavigationsmenü

Sie sind hier

TU Berlin

Inhalt des Dokuments

Publications Prof. Hartmut Ehrig (TFS)

Transformation of Combined Data Type and Process Specifications Using Projection Algebras
Zitatschlüssel GRE90
Autor Grosse-Rhode, M. and Ehrig, H.
Buchtitel Stepwise Refinement of Distributed Systems, REX-Workshop 1989
Seiten 301–339
Jahr 1990
Jahrgang 430
Verlag SPRINGER
Serie LNCS
Download Bibtex Eintrag

Zusatzinformationen / Extras

Direktzugang

Schnellnavigation zur Seite über Nummerneingabe