00873naa#a2200193#i#450# RU\\bibl\63783 20250820105102.3 3034-4689 20250801b2025####ek#y0rusy0150####ca RUS RU КОНТЕКСТНО ЗАВИСИМАЯ ЛИНЕАРИЗАЦИЯ ГРАФА ПОТОКА УПРАВЛЕНИЯ В СТАТИЧЕСКОМ АНАЛИЗЕ СОСТОЯНИЙ ГОНОК В МНОГОПОТОЧНЫХ АЛГОРИТМАХ Журнальная статья Казань Казанский национальный исследовательский технологический университет 2025 4 с. Журнальная статья local . 004.4’416 RUS Битнер В А Тимербаев Н Ф vestniktu.ru