direkt zum Inhalt springen

direkt zum Hauptnavigationsmenü

Sie sind hier

TU Berlin

Inhalt des Dokuments

Publications Prof. Hartmut Ehrig (TFS)

Linking Algebraic High-Level Nets and Dynamic Abstract Data Types
Zitatschlüssel PE94
Autor Ehrig, H. and Padberg, J.
Buchtitel Algebraic Specification Column
Seiten 132 – 144
Jahr 1994
Journal BEATCS
Jahrgang 54
Verlag EATCS
Download Bibtex Eintrag

Zusatzinformationen / Extras

Direktzugang

Schnellnavigation zur Seite über Nummerneingabe