direkt zum Inhalt springen

direkt zum Hauptnavigationsmenü

Sie sind hier

TU Berlin

Inhalt des Dokuments

Publications Prof. Hartmut Ehrig (TFS)

Restriction Constructions in Specification Logics
Zitatschlüssel EGR92
Autor Ehrig, H. and Grosse-Rhode, M.
Seiten 84–89
Jahr 1992
Journal BEATCS
Jahrgang 46
Download Bibtex Eintrag

Zusatzinformationen / Extras

Direktzugang

Schnellnavigation zur Seite über Nummerneingabe