Вы здесь

Parallel State Space Construction for Model-Checking

Количество экземпляров: 
1
Вид: 
Статья из сборника или журнала
Год: 
2001
Стр.: 
P.217-234
Библиография: 
Bibliogr.: p.232-234
Том: 
2057
Карточка: 

Б2.2, Б3.54.

Garavel H., Mateescu R., Smarandache I..

Parallel State Space Construction for Model-Checking// Lecture Notes in Computer Science-2001.-Vol. 2057.-P.217-234
Bibliogr.: p.232-234

Таблица в старой библиотеке: 
PAP23 232