Петрыкин Антон Алексеевич

Публикации в базе данных Math-Net.Ru

1. Standalone verification of IOMMU with virtualization supporting
   
   Труды ИСП РАН, 31:3 (2019),  77–84