Черемисинова Людмила Дмитриевна

Публикации в базе данных Math-Net.Ru

1. Graph methods for recognition of CMOS gates in transistor-level circuits
   
   ПДМ, 2024, № 64,  43–55
2. Формальная верификация логических описаний с функциональной неопределённостью на основе логарифмического кодирования условий
   
   Автомат. и телемех., 2012, № 7,  139–153