@inproceedings{AHPP10,
AUTHOR = {Alkassar, E. and Hillebrand, M. and Paul, W. and Petrova, E.},
TITLE = {Automated Verification of a Small Hypervisor},
VOLUME = {6217},
YEAR = {2010},
PAGES = {40-54},
SERIES = {LNCS},
BOOKTITLE = {Third International Conference on Verified Software: Theories, Tools, and Experiments (VSTTE'10)},
PUBLISHER = {Springer},
EE = {http://www.springerlink.com/content/p74n614114118753/},
}