Jens Vöge Jens VögeEmail: voege@informatik.rwth-aachen.deIch 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.