@article{weko_12867_1, author = "深田,敦史 and 中田,明夫 and 東野,輝夫 and 谷口,健一", title = "あるクラスの時間オートマンに対する適合性試験系列生成の一手法", journal = "情報処理学会論文誌", year = "1999", volume = "40", number = "1", pages = "85--94", month = "jan" }