模型检测网络传播干预策略

模型检测网络传播干预策略

余鹏，魏欧，韩兰胜，牛耘

Model Checking Network Transmission Intervention Policies

YU Peng, WEI Ou, HAN Lansheng, NIU Yun

计算机科学与探索 . 2014, (8): 906 -918 . DOI: 10.3778/j.issn.1673-9418.1401020