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 Wednesday, May 27, 2015

Set a new date range

Start Date
End Date

Overall Statistics

Brief Views Full Views Downloads Click Throughs
220 0 0 16

Set IP address range

Geographic Statistics

Country Brief Views Full Views Downloads Click Throughs
United States 124 0 0 2
Australia 52 0 0 5
China 23 0 0 0
France 11 0 0 8
Germany 3 0 0 0
Netherlands 3 0 0 1
United Kingdom 1 0 0 0
Finland 1 0 0 0
Europe 1 0 0 0
Indonesia 1 0 0 0
Russian Federation 1 0 0 0
Japan 1 0 0 0

Reorder geographical statistics

Limit results to top countries

Monthly statistics for the last twelve months

Month Brief Views Full Views Downloads Click Throughs
May 2015 2 0 0 2
Apr 2015 8 0 0 0
Mar 2015 3 0 0 2
Feb 2015 4 0 0 0
Jan 2015 7 0 0 2
Dec 2014 8 0 0 2
Nov 2014 3 0 0 1
Oct 2014 4 0 0 1
Sep 2014 2 0 0 0
Aug 2014 3 0 0 0
Jul 2014 1 0 0 0
Jun 2014 1 0 0 0
May 2014 2 0 0 0
Total 48 0 0 10

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