Потапов Игорь Геннадиевич. Логический анализ протоколов сетей ЭВМ на основе модели взаимодействующих автоматов: Дис... канд. техн. наук: 05.13.13 / НАН Украины; Институт прикладной математики и механики. - Донецк, 2000. - 155 л.+ прил. - Библиогр.: л. 147-154.