Гладких Татьяна Валентиновна. Верификация динамических параметров электронных устройств на основе К- значного моделирования : дис... канд. техн. наук: 05.13.05 / Национальный технический ун-т "Харьковский политехнический ин-т". — Х., 2006. — 310л. — Библиогр.: л. 240-255.