1. Institutional repository Dnipro University of Technology

Перегляд зібрання за групою - Теми linear temporal logic

Перейти до: 0-9 A B C D E F G H I J K L M N O P Q R S T U V W X Y Z
або ж введіть декілька перших літер:  
Результати 1 до 1 із 1
Попередній переглядДата випускуНазваАвтор(и)
295-301.pdf.jpg2014Формализация свойств безопасности криптографических протоколов с помощью логики линейного времениБорхаленко, В. А.
Результати 1 до 1 із 1