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