@misc{indiciae8d260ddcc31a,
  title = {Boosting Multi-Core Reachability Performance with Shared Hash Tables},
  author = {Alfons Laarman and Jaco van de Pol and Michael Weber},
  year = {2010},
  url = {https://arxiv.org/abs/1004.2772},
  note = {Source identifier: 1004.2772}
}