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 Sat Feb 22 23:27:42 2025 CET.