Diploma and Master Theses (authored and supervised):
B. Scholz:
"Symbolische Verifikation von Echtzeitprogrammen";
Supervisor: J. Blieberger;
Institut für Automation,
1996.
Created from the Publication Database of the Vienna University of Technology.