Mikhail Kovalev. TLB virtualization in the context of hypervisor verification. PhD thesis, Saarland University, 2013. [doi]
@phdthesis{dnb-909, title = {TLB virtualization in the context of hypervisor verification}, author = {Mikhail Kovalev}, year = {2013}, url = {http://d-nb.info/1052903002}, researchr = {https://researchr.org/publication/dnb-909}, cites = {0}, citedby = {0}, school = {Saarland University}, }