Number of items: 2.
Cohen, Ernie and Paul, Wolfgang J. and Schmaltz, Sabine
(2013)
Theory of Multi Core Hypervisor Verification.
Alkassar, Eyad and Cohen, Ernie and Kovalev, Mikhail and Paul, Wolfgang J.
(2012)
Verification of TLB Virtualization Implemented in C.
This list was generated on Wed Apr 24 08:59:26 2024 CEST.