Вы здесь

Rapid Parameterized Model Checking of Snoopy Cache Coherence Protocols

Количество экземпляров: 
1
Вид: 
Статья из сборника или журнала
Год: 
2003
Ключевые слова: 
Стр.: 
P.144-159
Библиография: 
Bibliogr.: p.158-159
Том: 
2619
Карточка: 

А3.53.

Emerson E. A., Kahlon V..

Rapid Parameterized Model Checking of Snoopy Cache Coherence Protocols// Lecture Notes in Computer Science-2003.-Vol. 2619.-P.144-159
Bibliogr.: p.158-159

Таблица в старой библиотеке: 
PAP26 657