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

Model checking using multiple GPUs
Qi, Y. (Author). 17 Dec 2018

Student thesis: Master