direkt zum Inhalt springen

direkt zum Hauptnavigationsmenü

Sie sind hier

TU Berlin

Inhalt des Dokuments

Publications Prof. Hartmut Ehrig (TFS)

Specification techniques for concurrent and distributed systems
Zitatschlüssel EGH92
Autor Ehrig, H. and Große-Rhode, M. and Heise, A.
Jahr 1992
Nummer 92/5
Monat jan.
Notiz Invited paper for 2nd Maghr. Conference on Software Engineering and Artificial Intelligence, Tunis,1992
Institution TUB
Download Bibtex Eintrag

Zusatzinformationen / Extras

Direktzugang

Schnellnavigation zur Seite über Nummerneingabe