Location: publications/
english
|
deutsch
Publications of Bernd Hofmann
Journal Articles
Zeitschriftenartikel
An Estelle Compiler for Multiprocessor Platforms
Stefan Fischer, Bernd Hofmann
Formal Description Techniques VI (Proceedings of FORTE'93), pp. 171-186, 1994
Technical Reports
Forschungsberichte
An Estelle Compiler for Multiprocessor Platforms
Stefan Fischer, Bernd Hofmann
Technical Report TR-93-005, Department for Mathematics and Computer Science, University of Mannheim, 1993
Dissertation
Dissertation
Generierung effizienter Protokollimplementierungen aus ESTELLE-Spezifikationen
Bernd Hofmann
Dissertation, Universität Mannheim, December 1993
IfI
-
i3v
-
Contact
-
Pi4 Forum
-
Impressum
-
Local
