@techreport{weko_35723_1,
   author	 = "李,湘東 and 福田,真二 and 樋口,昌宏 and 東野,輝夫 and 谷口,健一",
   title	 = "拡張有限状態機械モデルにおける通信プロトコルのテスト系列の自動生成の一手法",
   year 	 = "1994",
   institution	 = "大阪大学基礎工学部情報工学科, 大阪大学基礎工学部情報工学科, 大阪大学基礎工学部情報工学科, 大阪大学基礎工学部情報工学科, 大阪大学基礎工学部情報工学科",
   number	 = "56(1994-DPS-066)",
   month	 = "jul"
}