@phdthesis{Idr09, <br>AUTHOR = {In der Rieden, Thomas},<br>TITLE = {Verified Linking for Modular Kernel Verification},<br>YEAR = {2009},<br>URL = {http:///publikationen/Idr09.pdf}, <br>SCHOOL = {Saarland University, Saarbrücken},<br>}