TY  - RPRT
TI  - Scalable Computation of Inter-Core Bounds Through Exact Abstractions
AU  - Mohammed Aristide Foughali
AU  - Marius Mikučionis
AU  - Maryline Zhang
PY  - 2024
DO  - 10.1109/compsac61105.2024.00019
UR  - https://arxiv.org/abs/2405.06387
ID  - 2405.06387
ER  -