Babakov, R. M., A. A. Barkalov, and L. A. Titarenko. 2026. “MULTIPROCESS IMPLEMENTATION OF ALGORITHMS FOR ALGEBRAIC SYNTHESIS OF A FINITE STATE MACHINE”. Radio Electronics, Computer Science, Control, no. 2 (June):136-47. https://doi.org/10.15588/1607-3274-2026-2-12.