@inproceedings{cassee_scalability_2017,
    title = {{On the Scalability of the GPUexplore Explicit-State Model Checker}},
    author = {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},
}