Lehrstuhl Informatik VII der Mathematisch-Naturwissenschaftliche Fakultšt der Rheinisch Westfälischen Technische Hochschule Aachen

  Jens Vöge

Email:       voege@informatik.rwth-aachen.de
Ich war bis Ende Februar 2001 in dem Projekt: Algorithmen über omega-Automaten und Anwendungen in der Konstruktion und Verifikation von Programmen des Lehrstuhls beteiligt. Ich bin auch weiterhin über obige Email-Adresse erreichbar.
Jens Vöge, voege@informatik.rwth-aachen.de