Голубева О. И. Использование неточных результатов для сокращения вычислительных затрат точного троичного моделирования последовательностных схем / О. И. Голубева // Таврический научный обозреватель. 2017. № 4, ч. 1. С. 136-146. URL: http://vital.lib.tsu.ru/vital/access/manager/Repository/vtls:000587159