темпоральная логика

Шилов Н.В. О необходимости онтологии для классификации и навигации по универсуму компьютерных языков // Системная информатика. — . — № 13.  — С. 1-24
Гнатенко А.Р. Захаров В.А. Применение одного расширения CTL* для спецификации и верификации последовательных реагирующих систем // Системная информатика. — . — № 17.  — С. 21-32
Гаранина Н.О. Ануреев И.С. Зюбин В.Е. Розов А.С. Лях Т.В. Горлач С.П. Рассуждения о программируемых логических контроллерах // Системная информатика. — . — № 17.  — С. 33-42
Подписаться на темпоральная логика