@techreport{weko_33802_1,
   author	 = "安井,雅俊 and 山根,智 and 山崎,真一",
   title	 = "並列動作する確率時間システムに対する拡張CEGAR",
   year 	 = "2008",
   institution	 = "金沢大学大学院自然科学研究科, 金沢大学大学院自然科学研究科, 金沢大学大学院自然科学研究科",
   number	 = "116(2008-EMB-010)",
   month	 = "nov"
}