Вы здесь
An Extension of Linear Time Temporal Logic and Its Application to Hardware Design
Количество экземпляров:
1
Вид:
Статья из сборника или журнала
Год:
1991
Ключевые слова:
Стр.:
P.443-455.
Библиография:
Bibliogr.: p.454-455.
Источник:
Номер:
5
Том:
10
Карточка:
Б2.13, А3.22.
Cingel V..
An Extension of Linear Time Temporal Logic and Its Application to Hardware Design// Computers and Artificial Intelligence-1991, №5.-Vol. 10.-P.443-455.
Bibliogr.: p.454-455.
Таблица в старой библиотеке:
PAP3 161