Resumen:
Protocol Analysis with Time and Space

Fecha

2022-09-05

Editor

Sistedes

Publicado en

Actas de las XXI Jornadas de Programación y Lenguajes (PROLE 2022)

Licencia Creative Commons

Resumen

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

Descripción

Acerca de Aparicio Sanchez, Damian

Palabras clave

Cryptographic, Maude-npa, Process Algebra, Protocol, SMT, Space, Time
Página completa del ítem
Notificar un error en este resumen
Mostrar cita
Mostrar cita en BibTeX
Descargar cita en BibTeX