[Back]


Doctor's Theses (authored and supervised):
M. Samer:
"Reasoning about Specifications in Model Checking";
Supervisor, Reviewer: H. Veith, G. Gottlob; Institut für Informationssysteme, 2004.

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