Формулы для дедуктивного анализа тестов в синхронных последовательностных схемах

Китсник, П., Убар, Р. Формулы для дедуктивного анализа тестов в синхронных последовательностных схемах // Анализ и моделирование технических устройств и систем АСУТП. Таллин : Таллинский политехнический институт, 1977. с. 15-23 : илл. (Tallinna Polütehnilise Instituudi toimetised = Труды Таллинского политехнического института ; 432, Труды по электротехнике и автоматике : сборник статей ; 15). https://www.ester.ee/record=b2190987*est https://digikogu.taltech.ee/et/Item/b7c66054-0b4f-4684-9453-442bc7e6e200