Вы здесь

On-the-fly Verification of Linear Temporal Logic

Автор: 
Количество экземпляров: 
1
Вид: 
Статья из сборника или журнала
Год: 
1999
Стр.: 
P.253-271.
Библиография: 
Bibliogr.: p.270-271
Издательство: 
Том: 
1708
Карточка: 

Б2.13, Б2.14.

Couvreur J. -M..

On-the-fly Verification of Linear Temporal Logic: Springer// Lecture Notes in Computer Science-1999.-Vol. 1708.-P.253-271.
Bibliogr.: p.270-271

Таблица в старой библиотеке: 
PAP20 371