Myrzabek K, Khassen A. PROBABILISTIC TIMED AUTOMATA ANALYSIS OF AIR TRAFFIC CONTROL SYSTEMS. IJICT [Интернет]. 15 сентябрь 2025 г. [цитируется по 5 декабрь 2025 г.];6(3):238-53. доступно на: https://journal.iitu.edu.kz/index.php/ijict/article/view/590