xmlui.dri2xhtml.structural.

Statistics for "Model Checking of Transition-Labeled Finite-State Machines"

Title:

Model Checking of Transition-Labeled Finite-State Machines

Author(s):

Estivill-Castro, Vladimir;Rosemblueth, David

Date Last Updated:

Tuesday, February 7, 2012

Statistics are for the period between Thursday, February 1, 2007 and Wednesday, May 22, 2013

Set a new date range

Start Date
End Date

Overall Statistics

Brief Views Full Views Downloads Click Throughs
45 0 70 12

Set IP address range

Geographic Statistics

Country Brief Views Full Views Downloads Click Throughs
Australia 27 0 39 7
China 10 0 10 2
United States 7 0 7 1
Germany 1 0 5 0
Brazil 0 0 2 0
United Kingdom 0 0 2 0
India 0 0 2 0
Portugal 0 0 1 0
Italy 0 0 1 0
Lithuania 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
May 2013 4 0 7 0
Apr 2013 4 0 14 0
Mar 2013 5 0 11 0
Feb 2013 7 0 12 1
Jan 2013 10 0 9 1
Dec 2012 5 0 3 1
Nov 2012 7 0 6 0
Oct 2012 3 0 3 0
Sep 2012 1 0 10 1
Aug 2012 3 0 4 0
Jul 2012 2 0 0 4
Jun 2012 2 0 0 2
May 2012 1 0 0 1
Total 54 0 79 11

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