@techreport{weko_21724_1,
   author	 = "渡辺,晴美 and 徳岡,宏樹 and Wu,Wenxin and 佐伯,元司",
   title	 = "カラーペトリネットによるオブジェクト指向ソフトウエアのテストと解析方法",
   year 	 = "1997",
   institution	 = "東京工業大学情報理工学研究科, 東京工業大学情報理工学研究科, 東京工業大学情報理工学研究科, 東京工業大学情報理工学研究科",
   number	 = "110(1997-SE-117)",
   month	 = "nov"
}