Technical Reports, Doctoral Theses, Student Theses of the Department

• Technical Reports

• No. 04:  Diekert, Volker (ed.); Ebinger, Werner (ed.): Proceedings ASMICS Workshop : infinite traces ; Tübingen, Jan. 23-25, 1992, Technical Report No. 1992/04.