@misc{indiciaebe65b42bd710,
  title = {FORSLICE: An Automated Formal Framework for Efficient PRB-Allocation towards Slicing Multiple Network Services},
  author = {Debarpita Banerjee and Sumana Ghosh and Snigdha Das and Shilpa Budhkar and Rana Pratap Sircar},
  year = {2026},
  url = {https://arxiv.org/abs/2604.08244},
  note = {Source identifier: 2604.08244}
}