Вы здесь

Polynomial Approximations for Model Checking

Количество экземпляров: 
1
Вид: 
Статья из сборника или журнала
Год: 
2003
Стр.: 
P.395-400
Библиография: 
Bibliogr.: p.399-400
Том: 
2890
Карточка: 

Б2.14.

Shilov N. V., Garanina N. O..

Polynomial Approximations for Model Checking// Lecture Notes in Computer Science-2003.-Vol. 2890.-P.395-400
Bibliogr.: p.399-400

Таблица в старой библиотеке: 
ISI2 546