@article{Битнер2025контекстно,
author={Битнер, В.А. and Тимербаев, Н.Ф.},
title={КОНТЕКСТНО ЗАВИСИМАЯ ЛИНЕАРИЗАЦИЯ ГРАФА ПОТОКА УПРАВЛЕНИЯ В СТАТИЧЕСКОМ АНАЛИЗЕ СОСТОЯНИЙ ГОНОК В МНОГОПОТОЧНЫХ АЛГОРИТМАХ},
journal={ВЕСТНИК ТЕХНОЛОГИЧЕСКОГО УНИВЕРСИТЕТА},
publisher={Казанский национальный исследовательский технологический университет},
year={2025},
pages={294-298},
volume={17},
issue={15},
}