[Back]


Diploma and Master Theses (authored and supervised):
T. Wiedemair:
"MACE - Verifiying Agent Programs";
Supervisor: G. Gottlob; Institut für Informationssysteme, 2002.

Created from the Publication Database of the Vienna University of Technology.