Шпагилев Данил Игоревич

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

1. Verification of system on chip integrated communication controllers
   
   Труды ИСП РАН, 30:3 (2018),  195–206