Number of items: 2.
Conference or Workshop Item (A Paper)
Alkassar, Eyad and Cohen, Ernie and Kovalev, Mikhail and Paul, Wolfgang J.
(2012)
Verification of TLB Virtualization Implemented in C.
Book
Kovalev, Mikhail and Müller, Silvia M. and Paul, Wolfgang J.
(2014)
A Pipelined Multi-core MIPS Machine -- Hardware Implementation and Correctness Proof.
UNSPECIFIED.
This list was generated on Sat May 31 11:03:12 2025 CEST.