Barkalov АА, Zeleniova IY, Gritsenko АА. PARALLEL AND DISTRIBUTED SYNTHESIS OF CONTROL AUTOMATA. RIC [Internet]. 2010May15 [cited 2025Jun.7];(1). Available from: https://ric.zp.edu.ua/article/view/14720