Barkalov А.А., Zeleniova, I.Y. and Gritsenko А.А. 2010. PARALLEL AND DISTRIBUTED SYNTHESIS OF CONTROL AUTOMATA. Radio Electronics, Computer Science, Control. 1 (May 2010). DOI:https://doi.org/10.15588/1607-3274-2010-1-23.