Statistics for "Bounded model Checking knowledge and branching time in synchronous multi-agent systems"
Title:
Bounded model Checking knowledge and branching time in synchronous multi-agent systems
Author(s):
Luo, Xiangyu;Su, Kaile;Sattar, Abdul;Chen, Qingliang
Date Last Updated:
Monday, March 13, 2006
Statistics are for the period between Thursday, February 1, 2007 and Saturday, May 25, 2013
Overall Statistics
| Brief Views | Full Views | Downloads | Click Throughs |
|---|---|---|---|
| 151 | 0 | 0 | 2 |
Geographic Statistics
| Country | Brief Views | Full Views | Downloads | Click Throughs |
|---|---|---|---|---|
 United States |
91 | 0 | 0 | 1 |
 Australia |
39 | 0 | 0 | 1 |
 China |
12 | 0 | 0 | 0 |
 Germany |
3 | 0 | 0 | 0 |
 Netherlands |
2 | 0 | 0 | 0 |
 United Kingdom |
1 | 0 | 0 | 0 |
 Finland |
1 | 0 | 0 | 0 |
 Russian Federation |
1 | 0 | 0 | 0 |
 Indonesia |
1 | 0 | 0 | 0 |
 Japan |
1 | 0 | 0 | 0 |
Monthly statistics for the last twelve months
| Month | Brief Views | Full Views | Downloads | Click Throughs |
|---|---|---|---|---|
| May 2013 | 8 | 0 | 0 | 0 |
| Apr 2013 | 4 | 0 | 0 | 0 |
| Mar 2013 | 7 | 0 | 0 | 0 |
| Feb 2013 | 6 | 0 | 0 | 0 |
| Jan 2013 | 11 | 0 | 0 | 0 |
| Dec 2012 | 4 | 0 | 0 | 0 |
| Nov 2012 | 4 | 0 | 0 | 0 |
| Oct 2012 | 1 | 0 | 0 | 0 |
| Sep 2012 | 2 | 0 | 0 | 0 |
| Aug 2012 | 1 | 0 | 0 | 0 |
| Jul 2012 | 2 | 0 | 0 | 1 |
| Jun 2012 | 2 | 0 | 0 | 0 |
| May 2012 | 1 | 0 | 0 | 0 |
| Total | 53 | 0 | 0 | 1 |
Definition of Terms
Footer information
Back to top