@phdthesis{Idr09,
AUTHOR = {In der Rieden, Thomas},
TITLE = {Verified Linking for Modular Kernel Verification},
YEAR = {2009},
Warning: Undefined variable $SERVER_NAME in /www/www-wjp/includes/bibtexentry.php on line 42
URL = {http:///publikationen/Idr09.pdf},
SCHOOL = {Saarland University, Saarbrücken},
}