Вы здесь

Constraint-Based Verification of Client-Server Protocols

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

Б2.1, Б2.23, Б2.4.

Delzanno G., Bultan T..

Constraint-Based Verification of Client-Server Protocols: Springer// Lecture Notes in Computer Science-2001.-Vol. 2239.-P.286-301
Bibliogr.: p.300-301

Таблица в старой библиотеке: 
PAP24 175