Вы здесь

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