Theory of Multi Core Hypervisor Verification

Cohen, Ernie and Paul, Wolfgang J. and Schmaltz, Sabine
(2013) Theory of Multi Core Hypervisor Verification.
In: Proc. 39th International Conference on Current Trends in Theory and Practice of Computer Science (SOFSEM 2013).

Full text not available from this repository.

Actions

Actions (login required)

View Item View Item