Публикация №4665

Название публикацииОПИСАНИЕ ПРОТОКОЛЬНЫХ АВТОМАТОВ ДЛЯ ИХ АВТОМАТИЗИРОВАННОГО СИНТЕЗА
Название на другом языке
Тип публикацииОтчет о НИР
ИзданиеНе задан
ИздательМ.: ИПИ РАН
ISBNНе задан
DOIНе задан
Год издания2009
ТомНе задан
НомерНе задан
Глава6
СтраницыНе задан
АннотацияНе задан
АвторыВолович Константин Иосифович
Денисов Сергей Анатольевич
и др.
ссылка в Internet
РИНЦ3
WoS0
Цитируемые
публикации авторов
ИПИ РАН