Verification of a multiprocessor system memory model

  • Nikita Golovliov

Scriptie/Masterproef: Master

Samenvatting

Datum prijs21 sep 2020
Originele taalEngels
BegeleiderJeroen J.A. Keiren (Afstudeerdocent 1), Jan Friso Groote (Afstudeerdocent 2), Derya Eker (Externe coach), Paul Stravers (Externe coach) & Anton J. Wijs (Afstudeerdocent 2)

Citeer dit

'