Shatokhin P A

Publications in Math-Net.Ru

1. Ternary models of statements in register transfer languages
   
   Avtomat. i Telemekh., 1988, no. 2,  160–172