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