Technische Berichte, Dissertationen, Studentische Arbeiten der Abteilung

• Studienarbeiten (Archiv)

• Gaiser, Andreas: Vergleich von Algorithmen für den Leerheitstest von Büchiautomaten, Studienarbeit Nr. 2096, 2007.