@misc{indiciaecb23a60f7838,
  title = {Tailoring Stateless Model Checking for Event-Driven Multi-Threaded Programs},
  author = {Parosh Aziz Abdulla and Mohamed Faouzi Atig and Frederik Meyer Bønneland and Sarbojit Das and Bengt Jonsson and Magnus Lång and Konstantinos Sagonas},
  year = {2023},
  url = {https://arxiv.org/abs/2307.15930},
  note = {Source identifier: 2307.15930}
}