Technische Berichte, Dissertationen, Studentische Arbeiten der Abteilung

• Technische Berichte

• Nr. 04:  Diekert, Volker (Hrsg); Ebinger, Werner (Hrsg): Proceedings ASMICS Workshop : infinite traces ; Tübingen, Jan. 23-25, 1992, Technischer Bericht Nr. 1992/04.