@techreport{weko_24042_1,
   author	 = "福島,直人 and 浜口,清治 and 富田,眞治 and 矢島,脩三",
   title	 = "形式的手法によるキャッシュ・プロトコルの設計検証　－超並列計算機JUMP - 1への適用例－",
   year 	 = "1996",
   institution	 = "京都大学工学部, 京都大学工学部, 京都大学工学部, 京都大学工学部",
   number	 = "23(1995-ARC-117)",
   month	 = "mar"
}