Чеботарев А. Н. Общий метод проверки согласованности взаимодействующих автоматов с конечной памятью / А. Н. Чеботарев // Кибернетика и систем. анализ. - 1999. - № 6. - С. 25-37. - Библиогр.: 5 назв. - рус.
Запропоновано метод перевірки узгодженості двох взаємодіючих автоматів A і B, що специфіковані логічною мовою першого порядку з одномісними предикатами. На відміну від попереднього методу тут не накладається ніяких обмежень щодо вигляду специфікації автомата B.
Якщо, ви не знайшли інформацію про автора(ів) публікації, маєте бажання виправити або відобразити більш докладну інформацію про науковців України запрошуємо заповнити "Анкету науковця"