|
|
|
Публикации в базе данных Math-Net.Ru |
Цитирования |
|
2008 |
| 1. |
S. Baranov, S. Frenkel, V. Sinelnikov, V. Zakharov, “Concurrent design and verification of digital hardware”, Информ. и её примен., 2:3 (2008), 7–25  |
1
|
|
2002 |
| 2. |
М. В. Астафьев, И. С. Левин, А. Ю. Матросова, В. Е. Синельников, “Синтез самопроверяемых автоматных сетей в базисе ПЛМ”, Автомат. и телемех., 2002, № 10, 120–136   ; M. V. Astaf'ev, I. Levin, A. Yu. Matrosova, V. E. Sinelnikov, “Self-Testing Automaton Networks: Their Design in Programmable Logical Matrices”, Autom. Remote Control, 63:10 (2002), 1637–1651   |
2
|
|
