@techreport{weko_36298_1,
   author	 = "加藤聰彦 and 鈴木健二",
   title	 = "オートマトンモデルに基づく　OSIトランスポート・プロトコルの製品検証",
   year 	 = "1984",
   institution	 = "国際電信電話株式会社研究所, 国際電信電話株式会社研究所",
   number	 = "46(1984-DPS-024)",
   month	 = "nov"
}