Publicaciones en las que colabora con Santiago Escobar Román (1)

2022

  1. Parallel Maude-NPA for Cryptographic Protocol Analysis

    Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)