%0 Conference Paper %1 conf/cloudnet/YuanYALW23 %A Yuan, Shiyu %A Yang, Jingda %A Arya, Sudhanshu %A Lipizzi, Carlo %A Wang, Ying %B CloudNet %D 2023 %I IEEE %K dblp %P 229-237 %T From Ambiguity to Explicitness: NLP-Assisted 5G Specification Abstraction for Formal Analysis. %U http://dblp.uni-trier.de/db/conf/cloudnet/cloudnet2023.html#YuanYALW23 %@ 979-8-3503-1306-2

@inproceedings{conf/cloudnet/YuanYALW23, added-at = {2024-04-28T00:00:00.000+0200}, author = {Yuan, Shiyu and Yang, Jingda and Arya, Sudhanshu and Lipizzi, Carlo and Wang, Ying}, biburl = {https://www.bibsonomy.org/bibtex/2d1a8f8c994e25bccae0d6a2dba7a0f8b/dblp}, booktitle = {CloudNet}, crossref = {conf/cloudnet/2023}, ee = {https://doi.org/10.1109/CloudNet59005.2023.10490075}, interhash = {c6665c78b890fd04faf46f191bac05fd}, intrahash = {d1a8f8c994e25bccae0d6a2dba7a0f8b}, isbn = {979-8-3503-1306-2}, keywords = {dblp}, pages = {229-237}, publisher = {IEEE}, timestamp = {2024-05-06T07:16:18.000+0200}, title = {From Ambiguity to Explicitness: NLP-Assisted 5G Specification Abstraction for Formal Analysis.}, url = {http://dblp.uni-trier.de/db/conf/cloudnet/cloudnet2023.html#YuanYALW23}, year = 2023 }