Вы здесь

Modeling and Model Checking a Distributed Shared Memory Consistency Protocol

Автор: 
Количество экземпляров: 
1
Вид: 
Статья из сборника или журнала
Год: 
1998
Стр.: 
P.84-103.
Библиография: 
Bibliogr.: p.102-103
Издательство: 
Том: 
1420
Карточка: 

Б2.42, А3.53.

Fisler K., Girault C..

Modeling and Model Checking a Distributed Shared Memory Consistency Protocol: Springer// Lecture Notes in Computer Science-1998.-Vol. 1420.-P.84-103.
Bibliogr.: p.102-103

Таблица в старой библиотеке: 
PAP18 223