Список цитирования публикации:
ОПИСАНИЕ ПРОТОКОЛЬНЫХ АВТОМАТОВ ДЛЯ ИХ АВТОМАТИЗИРОВАННОГО СИНТЕЗА