Вы здесь

Complexity of Compositional Model Checking of Computation Tree Logic on Simple Structures

Количество экземпляров: 
1
Вид: 
Статья из сборника или журнала
Год: 
2005
Стр.: 
P.102-113
Библиография: 
Bibliogr.: p.113
Место издания: 
Издательство: 
Том: 
3326
Карточка: 

А3.53, Б2.1.

Chatterjee K., Dasgupta P., Chakrabarti P. P..

Complexity of Compositional Model Checking of Computation Tree Logic on Simple Structures-Berlin, Heidelberg.: Springer// Lecture Notes in Computer Science, 2005.-Vol. 3326.-P.102-113-(Lecture Notes in Computer Science).
Bibliogr.: p.113

Таблица в старой библиотеке: 
PAP29 887