Вы здесь
Эффективные алгоритмы проверки выполнимости формул темпоральной логики CTL на модели и их применение для верификации параллельных программ
Количество экземпляров:
1
Вид:
Статья из сборника или журнала
Год:
1998
Стр.:
С.3-18.
Библиография:
Библиогр.: c.16-18
Источник:
Номер:
4
Карточка:
Б2.23.
Захаров В. А., Царьков Д. В..
Эффективные алгоритмы проверки выполнимости формул темпоральной логики CTL на модели и их применение для верификации параллельных программ// Программирование-1998, №4.-С.3-18.
Библиогр.: c.16-18
Таблица в старой библиотеке:
PAP18 530