@misc{oai:tsukuba.repo.nii.ac.jp:00057037,
 author = {張, 毅聰 and ZHAHG, YICONG},
 month = {},
 note = {2020, 【要旨】},
 title = {Study on Network Property Verification in Software Defined Networking},
 year = {2020},
 yomi = {チョウ, キソウ}
}