Kutsak Nina Yur'evna

Publications in Math-Net.Ru

1. Formal verification of three-valued digital waveforms
   
   Model. Anal. Inform. Sist., 26:3 (2019),  332–350