@techreport{weko_54383_1,
   author	 = "鶴見,誠悟 and 角川裕次",
   title	 = "Model Checkingを用いた並行プログラミング学習支援システムの試作",
   year 	 = "2002",
   institution	 = "広島大学大学院工学研究科, 広島大学大学院工学研究科",
   number	 = "119(2002-CE-067)",
   month	 = "dec"
}