Для цитирования:
Бибило П.Н., Новиков Д.Я. ВЕРИФИКАЦИЯ ЛОГИЧЕСКИХ СХЕМ, РЕАЛИЗУЮЩИХ СИСТЕМЫ ЧАСТИЧНЫХ БУЛЕВЫХ ФУНКЦИЙ. Информатика. 2011;(3(31)):68-76.
Бибило П.Н., Новиков Д.Я. ВЕРИФИКАЦИЯ ЛОГИЧЕСКИХ СХЕМ, РЕАЛИЗУЮЩИХ СИСТЕМЫ ЧАСТИЧНЫХ БУЛЕВЫХ ФУНКЦИЙ. Информатика. 2011;(3(31)):68-76.