@misc{indiciaef787d24b4b32,
  title = {On the Scalability of the GPUexplore Explicit-State Model Checker},
  author = {Nathan Cassee and Thomas Neele and Anton Wijs},
  year = {2017},
  doi = {10.4204/eptcs.263.4},
  url = {https://arxiv.org/abs/1801.05857},
  note = {Source identifier: 1801.05857}
}