 |
| |||
| computational tree logic model (русс. перевод взят из статьи: Куриленко И.Е., Еремеев А.П. Реализация вывода в темпоральных моделях ветвящегося времени // Известия Академии наук. Теория и системы управления 107-127. Alex_Odeychuk); CTL model (сокр. от "computational tree logic model" Alex_Odeychuk) | |||