@doctoralThesis{Kovalev_2013,
title={TLB virtualization in the context of hypervisor verification},
author={Kovalev, Mikhail},
doi={http://dx.doi.org/10.22028/D291-26479},
subtitle={TLB Virtualisierung im Kontext der Hypervisor Verifikation},
year={2013}
}