Yang, J., & Wang, Y. (2023). Towards Auto-Modeling of Formal Verification for NextG Protocols: A Multimodal cross- and self-attention Large Language Model Approach.
Chicago Style (17th ed.) CitationYang, Jingda, and Ying Wang. Towards Auto-Modeling of Formal Verification for NextG Protocols: A Multimodal Cross- and Self-attention Large Language Model Approach. 2023.
MLA (9th ed.) CitationYang, Jingda, and Ying Wang. Towards Auto-Modeling of Formal Verification for NextG Protocols: A Multimodal Cross- and Self-attention Large Language Model Approach. 2023.
Warning: These citations may not always be 100% accurate.