Вы здесь

Livelocks, Fairness and Protocol Verification

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

Б2.15, Б2.23.

Puhakka A., Valmari A..

Livelocks, Fairness and Protocol Verification-Beijing.// 16th World Computer Congress 2000, 2000.-P.471-479
Bibliogr.: p.479

Таблица в старой библиотеке: 
PAP22 607