Heiko Krumm

• Funktionelle Analyse von Kommunikationsprotokollen
• Spezifikation, Implementierung und Verifikation von Kommunikationsdiensten für verteilte DV-Systeme