Ph.D. Kharkiv National University of Radioelectronics
Dissertation: Models and Methods for Joint Verification of Digital Systems on Crystals
Mathematics Subject Classification: 68—Computer science
Ph.D. Kharkiv National University of Radioelectronics 2008