[Back]


Doctor's Theses (authored and supervised):
W. Schützelhofer:
"A Semantic-Meta-Model for the Formal Specification and Verification of Business-Domains with XML";
Supervisor, Reviewer: R. Eier, G. Kappel; Institut für Computertechnik, 2004.

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