I. Burdonov, A. Kossatchev
Building
Direct and Back Spanning Trees
by Automata on a Graph
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
7 слайдов предвариительная версия, 21+1 слайдов окончательная версия |
предварительная версия: ppt |
| окончательная версия: ppt, доклад 1, доклад 2 |
|
