Вы здесь

Past is for free: on the complexity of verifying linear temporal properties with past

Автор: 
Количество экземпляров: 
1
Вид: 
Статья из сборника или журнала
Год: 
2004
Стр.: 
P.431-458
Библиография: 
Bibliogr.: p.457-458
Источник: 
Номер: 
6-7
Том: 
40
Карточка: 

Б2.13.

Markey N..

Past is for free: on the complexity of verifying linear temporal properties with past// Acta Informatica-2004, №6-7.-Vol. 40.-P.431-458
Bibliogr.: p.457-458

Таблица в старой библиотеке: 
PAP28 970