РА425024 Іссам С. Моделі і методи аналізу та верифікації протоколів управління у програмно-конфігурованих мережах, що базуються на алгебрі комутаційних розподілених ресурсів та графах досяжності [Текст] : автореф. дис. ... канд. техн. наук : 05.12.02 / Іссам Саад ; Харків. нац. ун-т радіоелектроніки. - Харків, 2016. - 23 с. : рис., табл.