@techreport{weko_21841_1, author = "河野善彌 and ベルーズ.H.ファー", title = "拡張有限状態機械をモデルとするシステムの設計方法", year = "1996", institution = "埼玉大学工学部情報システム工学科, 埼玉大学工学部情報システム工学科", number = "6(1995-SE-107)", month = "jan" }