Navegación

Búsqueda

Búsqueda avanzada

Resultados de búsqueda para protocol

Protocol Analysis with Time and Space

Protocols, Strands, and LogicPages: 22-49Year: 2021DOI: https://doi.org/10.1007/978-3-030-91631-2

Autores: Damian Aparicio Sanchez / Santiago Escobar / Catherine Meadows / Julia Sapiña / Jose Meseguer / 
Palabras Clave: cryptographic - Maude-npa - process algebra - protocol - SMT - space - time

No encuentra los resultados que busca? Prueba nuestra Búsqueda avanzada