Персоналии RUS  ENG    ЖУРНАЛЫ   ПЕРСОНАЛИИ   ОРГАНИЗАЦИИ   КОНФЕРЕНЦИИ   СЕМИНАРЫ   ВИДЕОТЕКА   ПАКЕТ AMSBIB     Моралес Ана https://www.mathnet.ru/rus/person141168 Список публикаций на Google Scholar Публикации в базе данных Math-Net.Ru Цитирования 2018 1. J. C. Carrasquel, A. Morales, M. E. Villapol, “Prosega/CPN: an extension of CPN Tools for automata-based analysis and system verification”, Труды ИСП РАН, 30:4 (2018),  107–128     3 Организации Central University of Venezuela