Вы здесь

Automatic SAT-Compilation of Protocol Insecurity Problems via Reduction to Planning

Количество экземпляров: 
1
Вид: 
Статья из сборника или журнала
Год: 
1900
Стр.: 
P.210-225
Библиография: 
Bibliogr.: p.224-225
Том: 
2529
Карточка: 

А3.53.

Armando A., Compagna L..

Automatic SAT-Compilation of Protocol Insecurity Problems via Reduction to Planning// Lecture Notes in Computer Science-1900.-Vol. 2529.-P.210-225
Bibliogr.: p.224-225

Таблица в старой библиотеке: 
PAP25 1000