Barkalov АА, Zeleniova IY, Gritsenko АА. PARALLEL AND DISTRIBUTED SYNTHESIS OF CONTROL AUTOMATA. RIC [Internet]. 2010May15 [cited 2024Apr.18];(1). Available from: http://ric.zntu.edu.ua/article/view/14720