Persons
RUS  ENG    JOURNALS   PEOPLE   ORGANISATIONS   CONFERENCES   SEMINARS   VIDEO LIBRARY   PACKAGE AMSBIB  
 
Petrenko, Alexey Sergeevich


https://www.mathnet.ru/eng/person228972
List of publications on Google Scholar

Publications in Math-Net.Ru Citations
2025
1. D. Nagibin, A. Petrenko, V. Davydenko, I. Kotenko, E. Fedorchenko, “Invasive approach to verification of functional and structural specifications implemented in custom integrated circuits”, Informatics and Automation, 24:2 (2025),  526–555  mathnet

Organisations