Visualizaciones | |
---|---|
Advanced Features in Protocol Verification: Theory, Properties, and Efficiency in Maude-NPA | 715 |
marzo 2024 | abril 2024 | mayo 2024 | junio 2024 | julio 2024 | agosto 2024 | septiembre 2024 | |
---|---|---|---|---|---|---|---|
Advanced Features in Protocol Verification: Theory, Properties, and Efficiency in Maude-NPA | 8 | 11 | 3 | 4 | 6 | 3 | 4 |
Visualizaciones | |
---|---|
Santiago - Advanced Features in Protocol Verification: Theory, Properties, and Efficiency in Maud....pdf | 729 |
resumen-ingles.pdf | 79 |
indice.pdf | 66 |
resumen-castellano.pdf | 61 |
resumen-valenciano.pdf | 52 |
Visualizaciones | |
---|---|
Estados Unidos | 331 |
España | 101 |
China | 48 |
Francia | 35 |
Irlanda | 34 |
Alemania | 21 |
Rusia | 19 |
Suecia | 9 |
Canadá | 8 |
Singapur | 8 |
Visualizaciones | |
---|---|
Ashburn | 169 |
Valencia | 39 |
Dublin | 32 |
Boardman | 13 |
Fremont | 11 |
Beijing | 10 |
Mountain View | 8 |
Changi | 7 |
Grenoble | 7 |
Houston | 6 |