Visualizaciones | |
---|---|
State space reduction in the Maude-NRL Protocol Analyzer | 210 |
noviembre 2023 | diciembre 2023 | enero 2024 | febrero 2024 | marzo 2024 | abril 2024 | mayo 2024 | |
---|---|---|---|---|---|---|---|
State space reduction in the Maude-NRL Protocol Analyzer | 1 | 1 | 4 | 3 | 1 | 3 | 0 |
Visualizaciones | |
---|---|
journalrev12.pdf | 286 |
journalrev12.pdf | 1 |
1-s2.0-S0890540114000935-main.pdf | 1 |
Visualizaciones | |
---|---|
Estados Unidos | 141 |
Alemania | 20 |
China | 18 |
Francia | 14 |
Irlanda | 4 |
Suecia | 4 |
Finlandia | 3 |
Canadá | 1 |
España | 1 |
India | 1 |
Visualizaciones | |
---|---|
Ashburn | 69 |
Louisville | 9 |
Karlsruhe | 6 |
Villeurbanne | 6 |
Boardman | 5 |
Beijing | 4 |
Dublin | 4 |
Zhengzhou | 4 |
Alameda | 3 |
Grenoble | 3 |