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