Вы здесь

Toward Parametric Verification of Open Distributed Systems

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

Б2.23, Б2.43.

Dam M., Fredlund L., Gurov D..

Toward Parametric Verification of Open Distributed Systems-Berlin, Heidelberg.// Lecture Notes in Computer Science, 1998.-Vol. 1536.-P.150-185-(Lecture Notes in Computer Science).
Bibliogr.: p.185

Таблица в старой библиотеке: 
PAP19 88