TY  - RPRT
TI  - Recursive Variable-Length State Compression for Multi-Core Software Model Checking
AU  - Freark I. van der Berg
PY  - 2021
UR  - https://arxiv.org/abs/2007.12174
ID  - 2007.12174
ER  -