Institute for Reliable Computing Hamburg University of Technology Am Schwarzenberg-Campus 3 D-21073 Hamburg
Germany
e-mail: florian.buenger@tuhh.dephone: +49 (0)40 42878 3127fax: +49 (0)40 42878 2489
office: SBS95, Room 3.059
Publications