TY  - RPRT
TI  - On the Scalability of the GPUexplore Explicit-State Model Checker
AU  - Nathan Cassee
AU  - Thomas Neele
AU  - Anton Wijs
PY  - 2017
DO  - 10.4204/eptcs.263.4
UR  - https://arxiv.org/abs/1801.05857
ID  - 1801.05857
ER  -