RUS
ENG
Полная версия
ПЕРСОНАЛИИ
Лебедев Павел Валерьевич
Публикации в базе данных Math-Net.Ru
Полиномиальный алгоритм верификации цепей Маркова для подмножества логики PLTL
Модел. и анализ информ. систем
,
19
:2 (2012),
115–137
©
МИАН
, 2024
