@misc{oai:tsukuba.repo.nii.ac.jp:00056924,
 author = {張, 毅聰 and ZHAHG, YICONG},
 month = {},
 note = {2020, この博士論文は、全文公表に適さないやむを得ない事由があり要約のみを公表していましたが、解消したため、2023年(令和5年)3月7日に全文を公表しました。},
 title = {Study on Network Property Verification in Software Defined Networking},
 year = {2020},
 yomi = {チョウ, キソウ}
}