Barkalov А. А., I. Y. Zeleniova, and Gritsenko А. А. “PARALLEL AND DISTRIBUTED SYNTHESIS OF CONTROL AUTOMATA”. Radio Electronics, Computer Science, Control, no. 1 (May 15, 2010). Accessed November 29, 2024. https://ric.zp.edu.ua/article/view/14720.