Verification of a multiprocessor system memory model

  • Nikita Golovliov

Student thesis: Master

Abstract

Date of Award21 Sep 2020
Original languageEnglish
SupervisorJeroen J.A. Keiren (Supervisor 1), Jan Friso Groote (Supervisor 2), Derya Eker (External coach), Paul Stravers (External coach) & Anton J. Wijs (Supervisor 2)

Cite this

'