Verifying memory consistency in mCRL2

Wessel T.H. Sinnema

Mathematics and Computer Science

Student thesis: Master

Date of Award	21 Sep 2020
Original language	English
Supervisor	Jeroen J.A. Keiren (Supervisor 1)

Cite this

Documents

Sinnema, W.
File: application/pdf, 606 KB
Type: Thesis

'