LC Innsbruck – Institut für Informatik – 1