@inproceedings{wijs_gpuexplore_2016,
    title = {GPUexplore 2.0: Unleashing GPU Explicit-State Model Checking},
    authors = {Wijs, Anton and Neele, Thomas and Bo\v{s}na\v{c}ki, Dragan},
    year = {2016},
    publisher = {Springer},
    booktitle = {FM 2016},
    pages = {694--700},
    series = {LNCS},
    volume = {9995},
    doi = {10.1007/978-3-319-48989-6_42},
}