@misc{indiciaeb725c63ac37f,
  title = {Parallel Program Analysis on Path Ranges},
  author = {Jan Haltermanna and Marie-Christine Jakobs and Cedric Richter and Heike Wehrheim},
  year = {2024},
  doi = {10.1016/j.scico.2024.103154},
  url = {https://arxiv.org/abs/2402.11938},
  note = {Source identifier: 2402.11938}
}