@techreport{weko_31762_1,
   author	 = "清野,和司 and 富田,悦次 and 若月,光夫",
   title	 = "ε-推移を許したある決定性プッシュダウン変換機器対の等価性判定アルゴリズム",
   year 	 = "2006",
   institution	 = "電気通信大学大学院電気通信学研究科情報通信工学専攻 東芝ソリューション株式会社プラットフォームソリューション事業部ハードウェア開発部, 電気通信大学大学院電気通信学研究科情報通信工学専攻, 電気通信大学大学院電気通信学研究科情報通信工学専攻",
   number	 = "7(2006-AL-104)",
   month	 = "jan"
}