Cheremisinova Lyudmila Dmitrievna

Publications in Math-Net.Ru

1. Graph methods for recognition of CMOS gates in transistor-level circuits
   
   Prikl. Diskr. Mat., 2024, no. 64,  43–55
2. Formal verification of logical descriptions with functional uncertainty based on logarithmic encoding of conditions
   
   Avtomat. i Telemekh., 2012, no. 7,  139–153