Вы здесь

Computer-Assisted Verification of a Protocol for Certified Email

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

А3.53.

Abadi M., Blanchet B..

Computer-Assisted Verification of a Protocol for Certified Email// Lecture Notes in Computer Science-2003.-Vol. 2694.-P.316-335
Bibliogr.: p.333-334

Таблица в старой библиотеке: 
PAP27 83