@techreport{weko_74153_1,
   author	 = "加藤,寿和 and 一場,利幸 and 本田,晋也 and 高田,広章",
   title	 = "ハードウェアの振舞いを考慮したスピンロックのモデル検査",
   year 	 = "2011",
   institution	 = "名古屋大学大学院情報科学研究科, 名古屋大学大学院情報科学研究科, 名古屋大学大学院情報科学研究科, 名古屋大学大学院情報科学研究科",
   number	 = "2",
   month	 = "may"
}