Visualizaciones | |
---|---|
Protocol analysis modulo combination of theories: A case study in Maude-NPA | 253 |
enero 2024 | febrero 2024 | marzo 2024 | abril 2024 | mayo 2024 | junio 2024 | julio 2024 | |
---|---|---|---|---|---|---|---|
Protocol analysis modulo combination of theories: A case study in Maude-NPA | 5 | 2 | 12 | 4 | 1 | 2 | 0 |
Visualizaciones | |
---|---|
Sasse, R.; Escobar Román, S.; Meadows, C.; Meseguer, J. Protocol Analysis Modulo Combination of Theories..pdf | 443 |
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 | 148 |
Alemania | 21 |
China | 20 |
Francia | 20 |
España | 19 |
Irlanda | 5 |
Vietnam | 4 |
Finlandia | 2 |
Grecia | 2 |
México | 2 |
Visualizaciones | |
---|---|
Ashburn | 47 |
San Mateo | 16 |
Redmond | 15 |
Valencia | 13 |
Mountain View | 8 |
Louisville | 6 |
San Diego | 6 |
Villeurbanne | 6 |
Alameda | 5 |
Beijing | 5 |