Statistics
Total Visits
Name | Views |
---|---|
Formally Specifying and Verifying Linux-PAM Configurations Using Hierarchical Coloured Petri Nets and NuSMV | 672 |
Total Visits per Month
Name | April 2025 | May 2025 | June 2025 | July 2025 | August 2025 | September 2025 | October 2025 |
---|---|---|---|---|---|---|---|
Formally Specifying and Verifying Linux-PAM Configurations Using Hierarchical Coloured Petri Nets and NuSMV | 15 | 10 | 2 | 3 | 0 | 5 | 6 |
File Downloads
Name | Views |
---|---|
fulltext.pdf | 1052 |
Top Country Views
Name | Views |
---|---|
Canada | 199 |
United States | 93 |
China | 14 |
Sweden | 12 |
Japan | 8 |
United Kingdom | 7 |
South Korea | 7 |
Germany | 6 |
Austria | 5 |
Russia | 5 |
Top City Views
Name | Views |
---|---|
Hamilton | 195 |
San Mateo | 18 |
Louisville | 9 |
Tokyo | 8 |
San Ramon | 7 |
Fairfield | 6 |
Beijing | 4 |
Cambridge | 4 |
Ann Arbor | 3 |
Costa Mesa | 3 |