@techreport{weko_30186_1, author = "平手,孝 and 結縁祥治 and 坂部,俊樹 and 稲垣,康善", title = "テスト等価性に基づいた視覚的LTSモデル操作によるプロセス代数デバッガ", year = "1998", institution = "名古屋大学大学院工学研究科情報工学専攻, 名古屋大学大学院工学研究科情報工学専攻, 名古屋大学大学院工学研究科情報工学専攻, 名古屋大学大学院工学研究科情報工学専攻", number = "30(1997-PRO-018)", month = "mar" }