@misc{indiciae5eb805afd350,
  title = {From Ambiguity to Explicitness: NLP-Assisted 5G Specification Abstraction for Formal Analysis},
  author = {Shiyu Yuan and Jingda Yang and Sudhanshu Arya and Carlo Lipizzi and Ying Wang},
  year = {2023},
  url = {https://arxiv.org/abs/2308.03277},
  note = {Source identifier: 2308.03277}
}