D-01187 Dresden, Nöthnitzer Str. 46, Room 3083 (west wing; 3rd floor) tel: +49 351 463-39438 fax: +49 351 463-38284
emscb at os.inf.tu-dresden.de
Christian Helmuth c/o TU Dresden, Fakultät Informatik, Betriebssysteme D-01062 Dresden, Germany