|
|
Publications in Math-Net.Ru |
Citations |
|
2008 |
1. |
S. Baranov, S. Frenkel, V. Sinelnikov, V. Zakharov, “Concurrent design and verification of digital hardware”, Inform. Primen., 2:3 (2008), 7–25 |
1
|
|
2002 |
2. |
M. V. Astaf'ev, I. Levin, A. Yu. Matrosova, V. E. Sinelnikov, “Self-Testing Automaton Networks: Their Design in Programmable Logical Matrices”, Avtomat. i Telemekh., 2002, no. 10, 120–136 ; Autom. Remote Control, 63:10 (2002), 1637–1651 |
2
|
|
Organisations |
|
|