@article{weko_66190_1,
   author	 = "藤川,浩光 and 馬谷,誠二 and 八杉,昌宏 and 湯淺,太一",
   title	 = "リターンバリア型実時間ごみ集めの抽象モデル検査",
   journal	 = "情報処理学会論文誌プログラミング（PRO）",
   year 	 = "2009",
   volume	 = "2",
   number	 = "4",
   pages	 = "13--32",
   month	 = "aug"
}