@thesis{neele_gpu_2016,
    title = {GPU Implementation of Partial-Order Reduction},
    author = {Neele, Thomas},
    year = {2016},
    institute = {University of Twente},
    url = {https://essay.utwente.nl/70500/},
}