Year 1993

Books and Journals

 
[KoeEfGo93]
H. König, W. Effelsberg, R. Gotzhein
in: Praxis der Informationsverarbeitung und Kommunikation (PIK), Heft 4/1993, S. 193-202

 
[Go93]
R. Gotzhein
Advanced Studies in Computer Science, Vieweg Verlag, 1993

Proceedings

 
[KrGo93]
D. Kreuz, R. Gotzhein
in. H. König (Hrsg.), Formale Methoden für Verteilte Systeme, Fokus-Band 8, Saur-Verlag, München, 1993

 
[AnGoSe93]
C. Andrae, R. Gotzhein, S. Sédillot
13th International IFIP Symposium on Protocol Spezification, Testing, and Verification (PSTV XIII), Liège, Belgium, 1993

 
[BrGoVo93]
J. Bredereke, R. Gotzhein, F.H. Vogt
in: M. Diaz, R. Groz (Eds.), Formal Description Techniques, V, (North-Holland), 1993, pp. 153-168

 
[BrGo93b]
J. Bredereke, R. Gotzhein
6th International Conference on Formal Description Techniques (FORTE'93), Boston, USA, 1993

Technical reports

 
[BrGo93a]
J. Bredereke, R. Gotzhein
Bericht FBI-HH-M-219/93, Fachbereich Informatik, Universität Hamburg, 1993

 
[Br93]
J. Bredereke
Bericht FBI-HH-M-234/93, Fachbereich Informatik, Universität Hamburg, 1993

 
[BoGo93]
G.v. Bochmann, R. Gotzhein
Publication No. 853, Département d'IRO, Université de Montreal, 1993





 

 
Go to the contact details of the person in charge of this page

 
This page in german. Diese Seite auf deutsch.