Вы здесь
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