[Back]


Diploma and Master Theses (authored and supervised):
M. Samer:
"Temporal Logic Queries in Model Checking";
Supervisor: H. Veith; Institut für Informationssysteme, 2002.

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