Чеботарев, А.Н.; Богаченко, А.К.
(Комп’ютерні засоби, мережі та системи, 2011)
Рассматривается метод синтеза конечного автомата, специфицированного в логическом языке L*. Метод основан на трансляции спецификации в язык L и синтезе автомата по спецификации в этом языке.