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