Lehrstuhl für Informatik I Universität Würzburg Am Hubland D-97074 Würzburg Room B113 Phone: +49 (0) 931-31-88300 Email: Witek
