Вы здесь

Using Simulated Execution in Verifying Distributed Algorithms

Количество экземпляров: 
1
Вид: 
Статья из сборника или журнала
Год: 
2003
Стр.: 
P.283-297
Библиография: 
Bibliogr.: p.295-296
Издательство: 
Том: 
2575
Карточка: 

Б2.23, Б2.12.

Win T. N., Ernst M. D., Garland S. J., Kirli D., Lynch N. A..

Using Simulated Execution in Verifying Distributed Algorithms: Springer// Lecture Notes in Computer Science-2003.-Vol. 2575.-P.283-297
Bibliogr.: p.295-296

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