@techreport{weko_31200_1,
   author	 = "菅沼,知久 and 黒沢,馨",
   title	 = "通信プロトコルにおけるオーバーフローの多項式時間検証法　（並行分散システムの記述と検証）",
   year 	 = "1986",
   institution	 = "東京工業大学物理情報工学専攻, 東京工業大学物理情報工学専攻",
   number	 = "83(1986-PRO-009)",
   month	 = "dec"
}