direkt zum Inhalt springen

direkt zum Hauptnavigationsmenü

Sie sind hier

TU Berlin

Inhalt des Dokuments

Publications Prof. Hartmut Ehrig (TFS)

On the Role of Formal Specification Techniques: From TAPSOFT 1985 to ETAPS 2000
Zitatschlüssel Ehr01a
Autor Ehrig, H.
Buchtitel Current Trends in Theoretical Computer Science: Entering the 21st Century
Seiten 131–133
Jahr 2001
Herausgeber Paun, G. and Rozenberg, G. and Salomaa, A.
Verlag World Scientific, Singapore etc. 2001
Download Bibtex Eintrag

Zusatzinformationen / Extras

Direktzugang

Schnellnavigation zur Seite über Nummerneingabe