Statistics
Total Visits
Name | Views |
---|---|
Formally Specifying and Verifying Linux-PAM Configurations Using Hierarchical Coloured Petri Nets and NuSMV | 493 |
Total Visits per Month
Name | September 2023 | October 2023 | November 2023 | December 2023 | January 2024 | February 2024 | March 2024 |
---|---|---|---|---|---|---|---|
Formally Specifying and Verifying Linux-PAM Configurations Using Hierarchical Coloured Petri Nets and NuSMV | 6 | 1 | 1 | 9 | 13 | 5 | 8 |
File Downloads
Name | Views |
---|---|
fulltext.pdf | 956 |
Top Country Views
Name | Views |
---|---|
Canada | 119 |
United States | 31 |
Sweden | 12 |
China | 6 |
Germany | 6 |
United Kingdom | 6 |
Austria | 5 |
South Korea | 5 |
Russia | 2 |
Vietnam | 2 |
Top City Views
Name | Views |
---|---|
Hamilton | 117 |
San Ramon | 7 |
Fairfield | 5 |
Louisville | 5 |
Cambridge | 4 |
Stoke-on-trent | 3 |
Vienna | 3 |
Beijing | 2 |
Falls Church | 2 |
Hanoi | 2 |