@techreport{weko_86196_1, author = "張,漢明 and 野呂,昌満 and 沢田,篤史 and 吉田,敦 and 蜂巣,吉成 and 横森,励士", title = "並行システム記述におけるフォールトパターンに関する考察", year = "2012", institution = "南山大学情報理工学部, 南山大学情報理工学部, 南山大学情報理工学部, 南山大学情報理工学部, 南山大学情報理工学部, 南山大学情報理工学部", number = "7", month = "oct" }