@mastersthesis{Alk05,
AUTHOR = {Alkassar, Eyad},
TITLE = {Constructing a Formal Framework for Modeling and Verifying a Real Operating System},
YEAR = {2005},
Warning: Undefined variable $SERVER_NAME in /www/www-wjp/includes/bibtexentry.php on line 42
URL = {http:///publikationen/Alk05.pdf},
SCHOOL = {Universität des Saarlandes},
}