Алгоритм маркировки состояний подформулами CTL I

Лекция проф. Ю.Г. Карпова к дистанционному курсу "Математическая логика" http://dcn.icc.spbstu.ru/
Проверка корректности реагирующих программ Алгоритм проверки выполнимости для CTL