@techreport{weko_233024_1,
   author	 = "佐竹,柊路 and 鈴木,彦文 and 小形,真平 and 橋浦,弘明 and 岡野,浩三",
   title	 = "L2L3通信経路設計記述に基づくネットワーク構成モデルの自動検証手法",
   year 	 = "2024",
   institution	 = "信州大学, 国立情報学研究所, 信州大学, 日本工業大学, 信州大学",
   number	 = "4",
   month	 = "mar"
}