Yanbo Song, Chungang Yang, Jiaming Zhang 0007, Xinru Mi, Dusit Niyato. Full-Life Cycle Intent-Driven Network Verification: Challenges and Approaches. IEEE Network, 37(5):145-153, September 2023. [doi]
@article{SongYZMN23,
title = {Full-Life Cycle Intent-Driven Network Verification: Challenges and Approaches},
author = {Yanbo Song and Chungang Yang and Jiaming Zhang 0007 and Xinru Mi and Dusit Niyato},
year = {2023},
month = {September},
doi = {10.1109/MNET.124.2200127},
url = {https://doi.org/10.1109/MNET.124.2200127},
researchr = {https://researchr.org/publication/SongYZMN23},
cites = {0},
citedby = {0},
journal = {IEEE Network},
volume = {37},
number = {5},
pages = {145-153},
}