@phdthesis{Tsy09,
AUTHOR = {Tsyban, Alexandra},
TITLE = {Formal Verification of a Framework for Microkernel Programmers},
YEAR = {2009},
URL = {http:///publikationen/Tsy09.pdf},
SCHOOL = {Saarland University, Saarbr├╝cken},
}