Персоналии
RUS
ENG
ЖУРНАЛЫ
ПЕРСОНАЛИИ
ОРГАНИЗАЦИИ
КОНФЕРЕНЦИИ
СЕМИНАРЫ
ВИДЕОТЕКА
ПАКЕТ AMSBIB
JavaScript is disabled in your browser. Please switch it on to enable full functionality of the website
Моралес Ана
В базах данных Math-Net.Ru
Публикаций:
1
Научных статей:
1
Статистика просмотров:
Эта страница:
38
Страницы публикаций:
209
Полные тексты:
52
Списки литературы:
22
https://www.mathnet.ru/rus/person141168
Список публикаций на Google Scholar
Список публикаций на ZentralBlatt
Публикации в базе данных
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
Обратная связь:
email
Пользовательское соглашение
Регистрация посетителей портала
Логотипы
©
Математический институт им. В. А. Стеклова РАН
, 2024