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 Tuesday, September 2, 2014

Set a new date range

Start Date
End Date

Overall Statistics

Brief Views Full Views Downloads Click Throughs
279 1 162 56

Set IP address range

Geographic Statistics

Country Brief Views Full Views Downloads Click Throughs
United States 167 0 71 42
Australia 69 0 32 10
China 20 1 14 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
Canada 2 0 1 0
Algeria 1 0 1 0
Netherlands 1 0 0 0
Japan 1 0 1 0
Europe 1 0 1 0
Myanmar 1 0 1 0
Finland 1 0 0 0
India 1 0 1 0
Iran, Islamic Republic of 1 0 0 0
Brazil 0 0 1 0
Vietnam 0 0 1 0

Reorder geographical statistics

Limit results to top countries

Monthly statistics for the last twelve months

Month Brief Views Full Views Downloads Click Throughs
Sep 2014 2 0 1 0
Aug 2014 5 0 2 0
Jul 2014 10 0 3 0
Jun 2014 1 0 0 0
May 2014 3 0 0 0
Apr 2014 6 0 1 0
Mar 2014 8 0 2 0
Feb 2014 1 0 0 0
Jan 2014 5 0 1 1
Dec 2013 3 0 1 0
Nov 2013 5 0 1 1
Oct 2013 3 0 0 0
Sep 2013 4 0 0 0
Total 56 0 12 2

Definition of Terms

  • Brief View: Default publication record
  • Full View: Expanded publication details
  • Download: Attached file which has been opened
  • Click Through: Link to publisher's website which has been clicked