APA (7th ed.) Citation

Metere, R., Ye, K., Gu, Y., Zhang, Z., Alrajeh, D., Sevegnani, M., & Yadav, P. (2024). Towards Achieving Energy Efficiency and Service Availability in O-RAN via Formal Verification.

Chicago Style (17th ed.) Citation

Metere, Roberto, Kangfeng Ye, Yue Gu, Zhi Zhang, Dalal Alrajeh, Michele Sevegnani, and Poonam Yadav. Towards Achieving Energy Efficiency and Service Availability in O-RAN via Formal Verification. 2024.

MLA (9th ed.) Citation

Metere, Roberto, et al. Towards Achieving Energy Efficiency and Service Availability in O-RAN via Formal Verification. 2024.