Вы здесь
A Formal Specification and Validation of a Critical System in Presence of Byzantine Errors
Количество экземпляров:
1
Вид:
Статья из сборника или журнала
Год:
2000
Стр.:
P.535-549.
Библиография:
Bibliogr.: p.548-549
Издательство:
Источник:
Том:
1785
Карточка:
Б3.33, Б2.23.
Gnesi S., Latella D., Lenzini G., Abbaneo C., Amendola A., Marmo P..
A Formal Specification and Validation of a Critical System in Presence of Byzantine Errors: Springer// Lecture Notes in Computer Science-2000.-Vol. 1785.-P.535-549.
Bibliogr.: p.548-549
Таблица в старой библиотеке:
PAP21 278