Explora I+D+i UPV

Volver atrás Publicación

Effective Symbolic Protocol Analysis via Equational Irreducibility Conditions

Compartir
Autores UPV

Año

Revista

Lecture Notes in Computer Science