@inproceedings{cassee_scalability_2017,
    title = {On the Scalability of the GPUexplore Explicit-State Model Checker},
    authors = {Cassee, Nathan and Neele, Thomas and Wijs, Anton},
    year = {2017},
    publisher = {Open Publishing Association},
    booktitle = {GaM 2017},
    pages = {38--52},
    series = {EPTCS},
    volume = {263},
    doi = {10.4204/EPTCS.263.4},
}