@techreport{weko_24445_1,
   author	 = "川島,健一 and 角田,良明 and 菊野,亨",
   title	 = "述語列のリアルタイム収束性に基づくリスポンシブプロトコルの検証法",
   year 	 = "1992",
   institution	 = "大阪大学基礎工学部情報工学科, 大阪大学基礎工学部情報工学科, 大阪大学基礎工学部情報工学科",
   number	 = "28(1991-ARC-093)",
   month	 = "mar"
}