Statistics for "Verification of Multi-agent Systems Via Bounded Model Checking"
Title:
Verification of Multi-agent Systems Via Bounded Model Checking
Author(s):
Luo, Xiangyu;Su, Kaile;Sattar, Abdul;Reynolds, Mark
Date Last Updated:
Friday, March 2, 2007
Statistics are for the period between Thursday, February 1, 2007 and Saturday, May 18, 2013
Overall Statistics
| Brief Views | Full Views | Downloads | Click Throughs |
|---|---|---|---|
| 213 | 1 | 144 | 50 |
Geographic Statistics
| Country | Brief Views | Full Views | Downloads | Click Throughs |
|---|---|---|---|---|
 United States |
124 | 0 | 60 | 40 |
 Australia |
55 | 0 | 27 | 6 |
 China |
15 | 1 | 13 | 2 |
 United Kingdom |
3 | 0 | 6 | 0 |
 Spain |
3 | 0 | 1 | 1 |
 Germany |
3 | 0 | 9 | 0 |
 France |
2 | 0 | 4 | 0 |
 Hong Kong |
2 | 0 | 1 | 0 |
 Russian Federation |
2 | 0 | 5 | 0 |
 Algeria |
1 | 0 | 1 | 0 |
 Japan |
1 | 0 | 1 | 0 |
 India |
1 | 0 | 1 | 0 |
 Myanmar |
1 | 0 | 1 | 0 |
 Finland |
1 | 0 | 0 | 0 |
 Iran, Islamic Republic of |
1 | 0 | 0 | 0 |
 Poland |
0 | 0 | 1 | 0 |
 Malaysia |
0 | 0 | 1 | 0 |
 Estonia |
0 | 0 | 1 | 0 |
 Philippines |
0 | 0 | 0 | 1 |
 Vietnam |
0 | 0 | 1 | 0 |
Monthly statistics for the last twelve months
| Month | Brief Views | Full Views | Downloads | Click Throughs |
|---|---|---|---|---|
| May 2013 | 5 | 0 | 1 | 0 |
| Apr 2013 | 7 | 0 | 1 | 0 |
| Mar 2013 | 4 | 0 | 0 | 0 |
| Feb 2013 | 12 | 0 | 2 | 0 |
| Jan 2013 | 8 | 0 | 1 | 1 |
| Dec 2012 | 2 | 0 | 0 | 0 |
| Nov 2012 | 5 | 0 | 1 | 0 |
| Oct 2012 | 1 | 0 | 0 | 0 |
| Sep 2012 | 3 | 0 | 0 | 0 |
| Aug 2012 | 0 | 0 | 0 | 0 |
| Jul 2012 | 2 | 0 | 2 | 3 |
| Jun 2012 | 5 | 0 | 1 | 0 |
| May 2012 | 1 | 0 | 1 | 1 |
| Total | 55 | 0 | 10 | 5 |
Definition of Terms
Footer information
Back to top