Sinelnikov Vladimir Efimovich

Publications in Math-Net.Ru

1. Concurrent design and verification of digital hardware
   
   Inform. Primen., 2:3 (2008),  7–25
2. Self-Testing Automaton Networks: Their Design in Programmable Logical Matrices
   
   Avtomat. i Telemekh., 2002, no. 10,  120–136