@article{DAN_1965_161_1_a15, author = {V. V. Karibskii and P. P. Parkhomenko and E. S. Sogomonyan}, title = {Some problems of checking the performance and locating failures in finite automata}, journal = {Doklady Akademii Nauk}, pages = {59--62}, publisher = {mathdoc}, volume = {161}, number = {1}, year = {1965}, language = {ru}, url = {http://geodesic.mathdoc.fr/item/DAN_1965_161_1_a15/} }