@techreport{weko_92454_1,
   author	 = "實本英之 and 鴨志田良和",
   title	 = "適切なチェックポイン卜周期を与えるアプリケーションレベルチェックポイントライブラリ",
   year 	 = "2013",
   institution	 = "東京大学, 東京大学",
   number	 = "10",
   month	 = "may"
}