Theory of Multi Core Hypervisor Verification.

Ernie Cohen, Wolfgang J. Paul, Sabine Schmaltz

Browse the full SOFSEM paper archive.