Персоналии RUS  ENG    ЖУРНАЛЫ   ПЕРСОНАЛИИ   ОРГАНИЗАЦИИ   КОНФЕРЕНЦИИ   СЕМИНАРЫ   ВИДЕОТЕКА   ПАКЕТ AMSBIB     Куцак Нина Юрьевна https://www.mathnet.ru/rus/person151703 Список публикаций на Google Scholar https://orcid.org/0000-0002-0832-3635 Публикации в базе данных Math-Net.Ru Цитирования 2019 1. Н. Ю. Куцак, В. В. Подымов, “Формальная верификация диаграмм троичных цифровых сигналов”, Модел. и анализ информ. систем, 26:3 (2019),  332–350   Организации Московский государственный университет имени М. В. Ломоносова, факультет вычислительной математики и кибернетики