Model checking using multiple GPUs

  • Y. Qi

Student thesis: Master

Abstract

Date of Award17 Dec 2018
Original languageEnglish
SupervisorAnton J. Wijs (Supervisor 1)

Cite this

'