[Back]


Diploma and Master Theses (authored and supervised):
A. Plaickner:
"Symbolic Model Checking using NUSMV";
Supervisor: H. Veith; Institut für Informationssysteme, 2003.

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