@techreport{weko_30193_1,
   author	 = "長野,伸一 and 角田,良明 and 菊野,亨",
   title	 = "通信プロトコルの回復処理における設計誤りのReal - Time Temporal Logicを用いた検出",
   year 	 = "1998",
   institution	 = "大阪大学大学院基礎工学研究科情報数理系専攻, 大阪大学大学院基礎工学研究科情報数理系専攻, 大阪大学大学院基礎工学研究科情報数理系専攻",
   number	 = "30(1997-PRO-018)",
   month	 = "mar"
}