@article{oai:fukuyama-u.repo.nii.ac.jp:00008372,
 author = {渡辺, 浩司},
 journal = {福山大学人間文化学部紀要, Journal of the Faculty of Human Cultures and Sciences of Fukuyama University},
 month = {Mar},
 pages = {104--110},
 title = {Silverman アルゴリズムを用いた 実数有限オートマトンの最小実現},
 volume = {15},
 year = {2015}
}