Visualizaciones | |
---|---|
Protocol analysis modulo combination of theories: A case study in Maude-NPA | 245 |
septiembre 2023 | octubre 2023 | noviembre 2023 | diciembre 2023 | enero 2024 | febrero 2024 | marzo 2024 | |
---|---|---|---|---|---|---|---|
Protocol analysis modulo combination of theories: A case study in Maude-NPA | 0 | 0 | 0 | 6 | 5 | 2 | 11 |
Visualizaciones | |
---|---|
Sasse, R.; Escobar Román, S.; Meadows, C.; Meseguer, J. Protocol Analysis Modulo Combination of Theories..pdf | 415 |
Sasse, R.; Escobar Román, S.; Meadows, C.; Meseguer, J. Protocol Analysis Modulo Combination of Theories..pdf.jpg | 60 |
Protocol Analysis Modulo Combination of Theories.pdf | 2 |
Ralf;Escobar;Catherine Meadows - Protocol Analysis Modulo Combination of Theories: A Case Study i....png | 1 |
Protocol Analysis Modulo Combination of Theories.pdf | 1 |
Visualizaciones | |
---|---|
Estados Unidos | 144 |
Alemania | 21 |
España | 19 |
Francia | 19 |
China | 18 |
Irlanda | 5 |
Vietnam | 4 |
Finlandia | 2 |
Grecia | 2 |
México | 2 |
Visualizaciones | |
---|---|
Ashburn | 47 |
San Mateo | 16 |
Redmond | 15 |
Valencia | 13 |
Louisville | 6 |
San Diego | 6 |
Villeurbanne | 6 |
Alameda | 5 |
Dublin | 5 |
Mountain View | 5 |