@techreport{weko_26289_1,
   author	 = "五十嵐,裕孝 and 浅田,宏幸 and 角田,良明 and 菊野,亨",
   title	 = "メッセージ衝突を含む2プロセスのプロトコル仕様の自動合成",
   year 	 = "1993",
   institution	 = "大阪大学基礎工学部情報工学科, 大阪大学基礎工学部情報工学科, 大阪大学基礎工学部情報工学科, 大阪大学基礎工学部情報工学科",
   number	 = "58(1993-OS-060)",
   month	 = "jul"
}