@misc{indiciae61b52aca0990,
  title = {Petrification: Software Model Checking for Programs with Dynamic Thread Management (Extended Version)},
  author = {Matthias Heizmann and Dominik Klumpp and Frank Schüssele and Lars Nitzke},
  year = {2023},
  url = {https://arxiv.org/abs/2311.01302},
  note = {Source identifier: 2311.01302}
}