D-01187 Dresden, Nöthnitzer Str. 46, Raum 3083 (Westflügel; 3. Stock) Tel: +49 351 463-39438 Fax: +49 351 463-38284
mikrosina@os.inf.tu-dresden.de
Christian Helmuth TU Dresden, Fakultät Informatik, Betriebssysteme D-01062 Dresden, Germany
