TY  - RPRT
TI  - Boosting Multi-Core Reachability Performance with Shared Hash Tables
AU  - Alfons Laarman
AU  - Jaco van de Pol
AU  - Michael Weber
PY  - 2010
UR  - https://arxiv.org/abs/1004.2772
ID  - 1004.2772
ER  -