@phdthesis{Kov13,
AUTHOR = {Kovalev, Mikhail},
TITLE = {TLB Virtualization in the Context of Hypervisor Verification},
YEAR = {2013},
URL = {http:///publikationen/Kov13.pdf},
SCHOOL = {Saarland University, Saarbr├╝cken},
}