@techreport{weko_80902_1,
   author	 = "金,周慧 and 松原,豊 and 高田,広章",
   title	 = "階層型状態遷移図に基づく安全分析手法",
   year 	 = "2012",
   institution	 = "名古屋大学大学院情報科学研究科, 名古屋大学大学院情報科学研究科, 名古屋大学大学院情報科学研究科",
   number	 = "10",
   month	 = "feb"
}