TY  - RPRT
TI  - Towards Auto-Modeling of Formal Verification for NextG Protocols: A Multimodal cross- and self-attention Large Language Model Approach
AU  - Jingda Yang
AU  - Ying Wang
PY  - 2024
UR  - https://arxiv.org/abs/2312.17353
ID  - 2312.17353
ER  -