direkt zum Inhalt springen

direkt zum Hauptnavigationsmenü

Sie sind hier

TU Berlin

Inhalt des Dokuments

Publications Prof. Hartmut Ehrig (TFS)

Integration Paradigm for Data Type and Process Specification Techniques
Zitatschlüssel EO98
Autor Ehrig, H. and Orejas, F.
Jahr 1998
Journal Bull. EATCS 65, Formal Specification Column, Part 5
Notiz also in \citePRS01, pages 192 - 201
Download Bibtex Eintrag

Zusatzinformationen / Extras

Direktzugang

Schnellnavigation zur Seite über Nummerneingabe