index
I. Burdonov, A. Kossatchev.
Building direct and back spanning trees by automata on a graph.
French-Russian Seminar on Software Verification, Testing, and Quality Estimation, Paris, France, November 24-25, 2014.
http://www-public.tem-tsp.eu/~maag/SemFRRU2014/index.html
см.Труды Института системного программирования РАН Том 26-6. 2014 г., стр. 57-62.
6 стр.

doc, pdf, pdf_1, ppt