Персоналии
RUS  ENG    ЖУРНАЛЫ   ПЕРСОНАЛИИ   ОРГАНИЗАЦИИ   КОНФЕРЕНЦИИ   СЕМИНАРЫ   ВИДЕОТЕКА   ПАКЕТ AMSBIB  
 
Кулик Томаш
В базах данных Math-Net.Ru
Публикаций: 1
Научных статей: 1

Статистика просмотров:
Эта страница:58
Страницы публикаций:191
Полные тексты:88
Списки литературы:16

https://www.mathnet.ru/rus/person141161
Список публикаций на Google Scholar
Список публикаций на ZentralBlatt

Публикации в базе данных Math-Net.Ru Цитирования
2018
1. Tomas Kulik, Peter Gorm Larsen, “Towards formal verification of cyber security standards”, Труды ИСП РАН, 30:4 (2018),  79–94  mathnet  elib 3

Организации
 
  Обратная связь:
  Пользовательское соглашение  Регистрация посетителей портала  Логотипы © Математический институт им. В. А. Стеклова РАН, 2024