@misc{indiciaee1ef436d616a,
  title = {Scalable Computation of Inter-Core Bounds Through Exact Abstractions},
  author = {Mohammed Aristide Foughali and Marius Mikučionis and Maryline Zhang},
  year = {2024},
  doi = {10.1109/compsac61105.2024.00019},
  url = {https://arxiv.org/abs/2405.06387},
  note = {Source identifier: 2405.06387}
}