Информатика, вычислительная техника и управление. Диссертация Алгоритмы построения контрпримеров к проблемам Айзермана и Калмана : диссертация ... кандидата физико-математических наук : 05.13.18, 01.01.02, Санкт-Петербург, 2010