TY  - RPRT
TI  - FORSLICE: An Automated Formal Framework for Efficient PRB-Allocation towards Slicing Multiple Network Services
AU  - Debarpita Banerjee
AU  - Sumana Ghosh
AU  - Snigdha Das
AU  - Shilpa Budhkar
AU  - Rana Pratap Sircar
PY  - 2026
UR  - https://arxiv.org/abs/2604.08244
ID  - 2604.08244
ER  -