@inproceedings{CPS13, <br>AUTHOR = { Cohen, Ernie and Paul, Wolfgang and Schmaltz, Sabine },<br>TITLE = {Theory of Multi Core Hypervisor Verification},<br>VOLUME = {7741}, <br>YEAR = {2013},<br>PAGES = {1-27}, <br>URL = {http:///publikationen/CPS13.pdf}, <br>SERIES = {Lecture Notes in Computer Science},<br>BOOKTITLE = {SOFSEM 2013: Theory and Practice of Computer Science}, <br>PUBLISHER = {Springer Berlin Heidelberg},<br>EDITOR = {Peter van Emde Boas and Frans C. A. Groen and Giuseppe F. Italiano and Jerzy Nawrocki and Harald Sack
},<br>EE = {http://dx.doi.org/10.1007/978-3-642-35843-2_1},<br>}