@inproceedings{neele_partial-order_2016,
    title = {Partial-Order Reduction for GPU Model Checking},
    authors = {Neele, Thomas and Wijs, Anton and Bo\v{s}na\v{c}ki, Dragan and van de Pol, Jaco},
    year = {2016},
    publisher = {Springer},
    booktitle = {ATVA 2016},
    pages = {357--374},
    series = {LNCS},
    volume = {9983},
    doi = {10.1007/978-3-319-46520-3_23},
}