Синельников Владимир Ефимович

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

1. Concurrent design and verification of digital hardware
   
   Информ. и её примен., 2:3 (2008),  7–25
2. Синтез самопроверяемых автоматных сетей в базисе ПЛМ
   
   Автомат. и телемех., 2002, № 10,  120–136