Вы здесь
Верификация спецификаций в языке L относительно темпоральных свойств, не выразимых в этом языке
Количество экземпляров:
1
Вид:
Статья из сборника или журнала
Год:
2009
Стр.:
С.3-12
Библиография:
Библиогр.: c.12
Источник:
Номер:
5
Карточка:
Б2.23.
Чеботарев А. Н..
Верификация спецификаций в языке L относительно темпоральных свойств, не выразимых в этом языке// Кибернетика и системный анализ-2009, №5.-С.3-12
Библиогр.: c.12
Таблица в старой библиотеке:
PAP31 454