Новосибирский государственный университет
Факультет информационных технологий
|
|
Новосибирский государственный университетФакультет информационных технологий |
|
(27,2)(27,2)
Алгоритм Лихтенштейна-Пнуели: критерий выполнимости (лемма 3), необходимость. Сложность и корректность проверки моделей для LTL
Системы управления запросами/ошибками.
|
© 1996-2025, Новосибирский государственный университет © 1996-2025, Институт вычислительных технологий СО РАН © 1996-2025, Федотов А.М. |
|
