@techreport{weko_62000_1, author = "野田,訓広 and 小林,隆志 and 山本,晋一郎 and 阿草,清滋", title = "高精度なデータ依存解析に基づくシーケンス図スライシング手法", year = "2009", institution = "名古屋大学工学部電気電子・情報工学科, 名古屋大学大学院情報科学研究科, 愛知県立大学情報科学部, 名古屋大学大学院情報科学研究科", number = "31(2009-SE-163)", month = "mar" }