Вы здесь

Optimising Communication Structure for Model Checking

Автор: 
Количество экземпляров: 
1
Вид: 
Статья из сборника или журнала
Год: 
2004
Стр.: 
P.310-323
Библиография: 
Bibliogr.: p.323
Том: 
2984
Карточка: 

Б3.5.

Saffrey P., Calder M..

Optimising Communication Structure for Model Checking// Lecture Notes in Computer Science-2004.-Vol. 2984.-P.310-323
Bibliogr.: p.323

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