@phdthesis{oai:naist.repo.nii.ac.jp:00010850, author = {榎本, 真俊}, month = {Mar}, school = {奈良先端科学技術大学院大学}, title = {ネットワークソフトウェア検証のための大規模な検証環境構築に関する研究}, year = {2018}, yomi = {エノモト, マサトシ} }