@misc{indiciae168ed3e6858a,
  title = {Recursive Variable-Length State Compression for Multi-Core Software Model Checking},
  author = {Freark I. van der Berg},
  year = {2021},
  url = {https://arxiv.org/abs/2007.12174},
  note = {Source identifier: 2007.12174}
}