index
I. Burdonov, A.Kossatchev, V.Kuliamin.
Parallel calculations by automata on direct and back spanning trees of 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 г., стр. 63-66.
4 стр.
doc, pdf, pdf_1, ppt