@InProceedings{Leinenbach:FM2009-80, <br>AUTHOR = {Leinenbach, D. and Santen, T.},<br>TITLE = {Verifying the Microsoft Hyper-V Hypervisor with VCC},<br>VOLUME = {5850}, <br>YEAR = {2009},<br>PAGES = {806-809}, <br>SERIES = {Lecture Notes in Computer Science},<br>BOOKTITLE = {16th International Symposium on Formal Methods (FM 2009)}, <br>PUBLISHER = {Springer},<br>EE = {http://dx.doi.org/10.1007/978-3-642-05089-3_51},<br>}