@techreport{weko_44916_1, author = "佐伯,稔 and 鈴木,大輔 and 市川,哲也", title = "DPAのリークモデル構築と論理シミュレーションによる評価", year = "2004", institution = "三菱電機(株)情報技術総合研究所, 三菱電機(株)情報技術総合研究所, 三菱電機エンジニアリング(株)鎌倉事業所", number = "75(2004-CSEC-026)", month = "jul" }