Райчев ИЭ, Харченко АГ. Применение конечных автоматов для реализации алгоритмов контроля полетов воздушных судов. Proceedings of National Aviation University [Internet]. 2001 Sept. 27 [cited 2026 Oct. 11];10(3):136-40. Available from: https://jrnl.kai.edu.ua/index.php/visnik/article/view/12161