Distributed GPU Model Checking

Ziang Chen

    Onderzoeksoutput: Scriptie › EngD Thesis

    Originele taal-2Engels
    Begeleider(s)/adviseur
    • Wijs, Anton J., Begeleider
    Plaats van publicatieEindhoven
    Uitgever
    StatusGeaccepteerd/In druk - 30 sep. 2024

    Bibliografische nota

    EngD thesis.

    Citeer dit