Персоналии RUS  ENG    ЖУРНАЛЫ   ПЕРСОНАЛИИ   ОРГАНИЗАЦИИ   КОНФЕРЕНЦИИ   СЕМИНАРЫ   ВИДЕОТЕКА   ПАКЕТ AMSBIB     Ларсен Питер Горм https://www.mathnet.ru/rus/person123787 Список публикаций на Google Scholar Публикации в базе данных Math-Net.Ru Цитирования 2018 1. Tomas Kulik, Peter Gorm Larsen, “Towards formal verification of cyber security standards”, Труды ИСП РАН, 30:4 (2018),  79–94     5 2016 2. C. Thule, P. G. Larsen, “Investigating concurrency in the co-simulation orchestration engine for INTO-CPS”, Труды ИСП РАН, 28:2 (2016),  139–156     1 Организации University of Aarhus