%0 Journal Article
%A Yao, Jiangyuan
%A Jiang, Zheng
%A Zou, Kaiwen
%A Weng, Shuhua
%A Li, Yaxin
%A Li, Deshun
%A Li, Yahui
%A Cao, Xingcan

%D 2023
%J Computers, Materials \& Continua

%@ 1546-2226
%V 74
%N 1
%P 293--311

%T Fast Verification of Network Configuration Updates
%M doi:10.32604/cmc.2023.031282
%U http://www.techscience.com/cmc/v74n1/49811